Definability in omega-Automatic Structures

Abu Zaid, Faried

Aachen : RWTH Aachen Univ. (2011)
Diploma Thesis

Aachen, Techn. Hochsch., Diplomarbeit, 2011

Identifier