Report - Theory Comput Syst DOI 10.1007/s00224-013-9508-6 Model-Theoretic Properties of ω-Automatic Structures Faried Abu Zaid ·Erich Grädel ·Łukasz Kaiser · Wied Pakusa ...

Please pass captcha verification before submit form