scientific article
From MaRDI portal
Publication:3836531
zbMath0935.03015MaRDI QIDQ3836531
Klaus Barthelmann, Thomas Schwentick
Publication date: 9 December 1999
Full work available at URL: https://eudml.org/doc/120200
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automata and formal grammars in connection with logical questions (03D05) Classical first-order logic (03B10)
Related Items (max. 100)
Shrinking games and local formulas ⋮ Subshifts as models for MSO logic ⋮ An optimal construction of Hanf sentences ⋮ A hierarchy of local decision ⋮ Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces ⋮ An Automaton over Data Words That Captures EMSO Logic ⋮ Subshifts, Languages and Logic
This page was built for publication: