The following pages link to Logic and Branching Automata (Q5895230):
Displaying 5 items.
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets (Q2817372) (← links)
- Communicating Finite-State Machines and Two-Variable Logic (Q3304111) (← links)
- Complementation of Branching Automata for Scattered and Countable N-Free Posets (Q4683231) (← links)
- Logic and rational languages of scattered and countable series-parallel posets (Q5919278) (← links)