Definability in omega-Automatic Structures

Aachen / RWTH Aachen Univ. (2011) [Diplomarbeit]

Seite(n): VIII, 71 S.

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Abu Zaid, Faried

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-112383