Advice Automatic Structures and Uniformly Automatic Classes

DOI10.4230/LIPIcs.CSL.2017.35zbMath1434.03099OpenAlexW2741171410MaRDI QIDQ5111205

Frederic Reinhardt, Faried Abu Zaid, Erich Grädel

Publication date: 26 May 2020

Full work available at URL: https://dblp.uni-trier.de/db/conf/csl/csl2017.html#ZaidGR17

zbMATH Keywords

abelian groupsfirst-order logicautomatic structurestorsion-free abelian groupsalgorithmic model theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Automata and formal grammars in connection with logical questions (03D05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Torsion-free groups, finite rank (20K15) Computable structure theory, computable model theory (03C57)

Related Items (6)

Second-order finite automata ⋮ Properties of a class of Toeplitz words ⋮ On the Complexity of Infinite Advice Strings ⋮ AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES ⋮ On the width of regular classes of finite structures ⋮ Uniformly Automatic Classes of Finite Structures

This page was built for publication: Advice Automatic Structures and Uniformly Automatic Classes