Definability in omega-Automatic Structures
Abu Zaid, Faried
Aachen : RWTH Aachen Univ. (2011)
Diplomarbeit
Aachen, Techn. Hochsch., Diplomarbeit, 2011
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-CONV-112383
Abu Zaid, Faried
Aachen : RWTH Aachen Univ. (2011)
Diplomarbeit
Aachen, Techn. Hochsch., Diplomarbeit, 2011