Automata and finite model theory
From MaRDI portal
Publication:2244824
DOI10.4171/AUTOMATA-2/7OpenAlexW3188276824MaRDI QIDQ2244824
Wouter Gelade, Thomas Schwentick
Publication date: 12 November 2021
Full work available at URL: https://doi.org/10.4171/automata-2/7
Automata and formal grammars in connection with logical questions (03D05) Model theory of finite structures (03C13)
Related Items (4)
Computability by finite automata and pisot bases ⋮ Automata and logics over finitely varying functions ⋮ Unnamed Item ⋮ Profinite Methods in Automata Theory
This page was built for publication: Automata and finite model theory
