- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Computer Science Logic 2017(2017)
- Ereignis
-
Veröffentlichung
- (wo)
-
Ilmenau
- (wer)
-
TU Ilmenau
- (wann)
-
2017
- Urheber
- DOI
-
10.4230/LIPIcs.CSL.2017.35
- URN
-
urn:nbn:de:0030-drops-76971
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Abu Zaid, Faried
- Grädel, Erich
- Reinhardt, Frederic
- TU Ilmenau
Entstanden
- 2017
Ähnliche Objekte (12)
Uniformly automatic classes of finite structures
Advice Automatic Structures and Uniformly Automatic Classes
Climbing up the elementary complexity classes with theories of automatic structures
Isomorphisms of scattered automatic linear orders
The rank of tree-automatic linear orderings
Automatic VPN-Configuration with SOLID
Automatic presentations of infinite structures
Automatic transcription of the melody from polyphonic music
Application of automatic speech recognition technologies to singing
Automatic generation of a simulation model to support the rescheduling of a Fixed-Layout Assembly system
Automatic coding : choice of data structures
Automatic recognition of structures in obituaries
Uniformly automatic classes of finite structures
Advice Automatic Structures and Uniformly Automatic Classes
Climbing up the elementary complexity classes with theories of automatic structures
Isomorphisms of scattered automatic linear orders
The rank of tree-automatic linear orderings
Automatic VPN-Configuration with SOLID
Automatic presentations of infinite structures
Automatic transcription of the melody from polyphonic music
Application of automatic speech recognition technologies to singing
Automatic generation of a simulation model to support the rescheduling of a Fixed-Layout Assembly system
Automatic coding : choice of data structures
Automatic recognition of structures in obituaries
Uniformly automatic classes of finite structures
Advice Automatic Structures and Uniformly Automatic Classes
Climbing up the elementary complexity classes with theories of automatic structures
Isomorphisms of scattered automatic linear orders
The rank of tree-automatic linear orderings
Automatic VPN-Configuration with SOLID
Automatic presentations of infinite structures
Automatic transcription of the melody from polyphonic music
Application of automatic speech recognition technologies to singing
Automatic generation of a simulation model to support the rescheduling of a Fixed-Layout Assembly system
Automatic coding : choice of data structures