scientific article; zbMATH DE number 4189200

MaRDI QIDQ5753528zbMATH OpenFDO

Authors André Arnold, Damian Niwiński

Publication date 1990

zbMATH Keywords

Büchi automatamodal logics of programsRabin automata

Mathematics Subject Classification ID

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

Recommendations

• Fixed point characterization of infinite behavior of finite-state systems
• scientific article; zbMATH DE number 1318521
• THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON
• Theoretical Aspects of Computing - ICTAC 2004
• scientific article; zbMATH DE number 2102757

Cited in

(10)

• Logical definability of fixed points
• The modal mu-calculus alternation hierarchy is strict
• On modal mu-calculus and Büchi tree automata
• Fixed point characterization of infinite behavior of finite-state systems
• scientific article; zbMATH DE number 3960988 (Why is no real title available?)
• scientific article; zbMATH DE number 1318521 (Why is no real title available?)
• scientific article; zbMATH DE number 2102757 (Why is no real title available?)
• Theμ-calculus alternation-depth hierarchy is strict on binary trees
• New types of automata to solve fixed point problems
• The modal mu-calculus alternation hierarchy is strict

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5753528)