scientific article; zbMATH DE number 4189200

zbMath0721.68040MaRDI QIDQ5753528

André Arnold, Damian Niwinski

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Büchi automataRabin automatamodal logics of programs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)

Related Items (5)

On modal mu-calculus and Büchi tree automata ⋮ Logical definability of fixed points ⋮ The modal mu-calculus alternation hierarchy is strict ⋮ Theμ-calculus alternation-depth hierarchy is strict on binary trees ⋮ The modal mu-calculus alternation hierarchy is strict

This page was built for publication: