Logic and Branching Automata

DOI10.2168/LMCS-11(4:2)2015zbMath1448.68255MaRDI QIDQ5895230

Nicolas Bedon

Publication date: 29 October 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

automatamonadic second-order logiccommutative monoidssp-rational languagesN-free posetsseries-parallel posetsPresburger logic

Mathematics Subject Classification ID

Partial orders, general (06A06) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Higher-order logic (03B16)

Related Items (5)

Communicating Finite-State Machines and Two-Variable Logic ⋮ Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic ⋮ Complementation of Branching Automata for Scattered and Countable N-Free Posets ⋮ Logic and rational languages of scattered and countable series-parallel posets ⋮ Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets

This page was built for publication: Logic and Branching Automata