Definability in omega-Automatic Structures

Abu Zaid, Faried

Aachen : RWTH Aachen Univ. (2011)
Diplomarbeit

Aachen, Techn. Hochsch., Diplomarbeit, 2011

Identifikationsnummern