Definability in omega-Automatic Structures

Abu Zaid, Faried

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

Seite(n): VIII, 71 S.

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-112383