Automata and finite model theory

DOI10.4171/AUTOMATA-2/7MaRDI QIDQ2244824zbMATH OpenOpenAlexFDO

Authors Wouter Gelade, Thomas Schwentick

Publication date 12 November 2021

Full work available at URL https://doi.org/10.4171/automata-2/7

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Automata and formal grammars in connection with logical questions (03D05)

Review text

Summary: For the entire collection see [Zbl 1470.68002].

Recommendations

• Automata and algebraicity
• scientific article; zbMATH DE number 3390671
• Automata theory and model checking
• Automatentheorie und Logik
• scientific article; zbMATH DE number 1333447
• scientific article; zbMATH DE number 1059244
• scientific article; zbMATH DE number 3250570
• scientific article; zbMATH DE number 1033559
• scientific article; zbMATH DE number 459361

Cited in

(6)

• scientific article; zbMATH DE number 4049055 (Why is no real title available?)
• scientific article; zbMATH DE number 1203022 (Why is no real title available?)
• Computability by finite automata and pisot bases
• scientific article; zbMATH DE number 5279417 (Why is no real title available?)
• Profinite Methods in Automata Theory
• Automata and logics over finitely varying functions

This page was built for publication: Automata and finite model theory

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