Definability in omega-Automatic Structures

Aachen / RWTH Aachen Univ. (2011) [Diploma Thesis]

Page(s): VIII, 71 S.

Authors

Selected Authors

Abu Zaid, Faried

Identifier

  • REPORT NUMBER: RWTH-CONV-112383