scientific article
From MaRDI portal
Publication:3203012
zbMath0716.03035MaRDI QIDQ3203012
Charanjit S. Jutla, E. Allen Emerson
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items (4)
Progress measures, immediate determinacy, and a subset construction for tree automata ⋮ Linear temporal logic -- from infinite to finite horizon ⋮ Fixed point characterization of infinite behavior of finite-state systems ⋮ Games for the \(\mu\)-calculus
This page was built for publication:
