Logical definability of some rational trace languages
From MaRDI portal
Publication:4850330
DOI10.1007/BF01185864zbMath0833.68099MaRDI QIDQ4850330
Christian Choffrut, Leucio Guerra
Publication date: 11 March 1996
Published in: Mathematical Systems Theory (Search for Journal in Brave)
68R15: Combinatorics on words
Related Items
Cites Work
- A logical approach of Petri net languages
- First-order logic and star-free sets
- On regular trace languages
- Theory of traces
- Classifying regular events in symbolic logic
- Semigroups, Presburger formulas, and languages
- Equidivisible semigroups
- Weak Second‐Order Arithmetic and Finite Automata
- Decision Problems of Finite Automata Design and Related Arithmetics
- Characterizations of the decidability of some problems for regular trace languages
- Unnamed Item
- Unnamed Item
- Unnamed Item