Automatic Equivalence Structures of Polynomial Growth.

DOI10.4230/LIPICS.CSL.2020.21MaRDI QIDQ5874207zbMATH OpenOpenAlexFDO

Authors Moses Ganardi, Bakhadyr Khoussainov

Publication date 7 February 2023

Full work available at URL https://doi.org/10.4230/LIPIcs.CSL.2020.21

zbMATH Keywords

automatic structuresisomorphism problempolynomial growth

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cited in

(3)

• Effective categoricity of automatic equivalence and nested equivalence structures
• Simple classes of automatic structures
• Word structures and their automatic presentations

This page was built for publication: Automatic Equivalence Structures of Polynomial Growth.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5874207)