Google Research

Model-Theoretic Properties of ω-Automatic Structures

  • Faried Abu Zaid
  • Erich Grädel
  • Lukasz Kaiser
  • Wied Pakusa
Theory Comput. Syst., vol. 55 (2014), pp. 856-880


No abstract available; check out the Download or Google Scholar links above for publications details.

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work