Descriptional complexity of formal systems 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings
Gespeichert in:
Körperschaft: | DCFS Wien (VerfasserIn) |
---|---|
Weitere Verfasser: | Jirásková, Galina (HerausgeberIn), Pighizzini, G. (HerausgeberIn) |
Format: | Elektronisch Tagungsbericht E-Book |
Sprache: | English |
Veröffentlicht: |
Cham
Springer
[2020]
|
Schriftenreihe: | Lecture notes in computer science
12442 |
Schlagworte: | |
Online-Zugang: | DE-634 DE-Aug4 DE-573 DE-M347 DE-92 DE-898 DE-859 DE-860 DE-861 DE-863 DE-862 DE-523 DE-91 DE-384 DE-473 DE-19 DE-355 DE-703 DE-20 DE-706 DE-29 DE-739 URL des Erstveröffentlichers |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
-
Descriptional complexity of formal systems 23rd IFIP WG 1.02 International Conference, DCFS 2021, virtual event, September 5, 2021 : proceedings
Veröffentlicht: (2021) -
Descriptional complexity of formal systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings
Veröffentlicht: (2023) -
AI approaches to the complexity of legal systems XI-XII AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020 : revised selected papers
Veröffentlicht: (2021) -
Logical foundations of computer science International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020 : proceedings
Veröffentlicht: (2020) -
Structured object-oriented formal language and method 10th international workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, revised selected papers
Veröffentlicht: (2021)