- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Computer Science Logic 2017(2017)
- Event
-
Veröffentlichung
- (where)
-
Ilmenau
- (who)
-
TU Ilmenau
- (when)
-
2017
- Creator
- DOI
-
10.4230/LIPIcs.CSL.2017.35
- URN
-
urn:nbn:de:0030-drops-76971
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Abu Zaid, Faried
- Grädel, Erich
- Reinhardt, Frederic
- TU Ilmenau
Time of origin
- 2017
Other Objects (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