ω-Automata
From MaRDI portal
Publication:4412823
DOI10.1007/3-540-36387-4_1zbMath1021.68045OpenAlexW4234096182MaRDI QIDQ4412823
Publication date: 16 July 2003
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-36387-4_1
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items (4)
On dual programs in co-logic programming and the Horn \({\mu}\)-calculus ⋮ Infinity problems and countability problems for \(\omega \)-automata ⋮ A separation theorem for discrete-time interval temporal logic ⋮ On Dual Programs in Co-Logic Programming
This page was built for publication: ω-Automata
