Two-Variable Logic on 2-Dimensional Structures.

From MaRDI portal

Revision as of 20:17, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2958540

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2013.484zbMath1356.03074OpenAlexW2240751524MaRDI QIDQ2958540

Thomas Zeume, Amaldev Manuel

Publication date: 2 February 2017

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

zbMATH Keywords

automata decidability satisfiability data words FO\(^2\)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (3)

A double team semantics for generalized quantifiers ⋮ Unnamed Item ⋮ Walking on data words

This page was built for publication: Two-Variable Logic on 2-Dimensional Structures.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2958540&oldid=15954437"