Logic and Branching Automata

DOI10.1007/978-3-642-40313-2_13zbMath1398.68297arXiv1507.02890OpenAlexW2963107912MaRDI QIDQ5891198

Nicolas Bedon

Publication date: 20 September 2013

Published in: Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.02890

zbMATH Keywords

automatamonadic second-order logiccommutative monoids\(N\)-free posetssp-rational languagesseries-parallel posetsPresburger logic

Mathematics Subject Classification ID

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

Related Items (1)

Multilinear representations of free pros

This page was built for publication: Logic and Branching Automata