First-order and counting theories of omega-automatic structures

Authors: 
Kuske, D.
Lohrey, M.
Year: 
2006
Appeared / Erschienen in: 
FoSSaCS 2006, 322-336, © Springer Lecture Notes in Computer Science vol. 3921 (2006).