First-order and counting theories of omega-automatic struct ures

Authors: 
Kuske, D.
Lohrey, M.
Year: 
2008
Language: 
English
Appeared / Erschienen in: 
Journal of Symbolic Logic 73 (2008), 129-150.