Some varieties of finite tree automata related to restricted temporal logics

MaRDI QIDQ5450112zbMATHFDO

Authors Szabolcs Iván, Zoltán Ésik

Publication date 19 March 2008

zbMATH Keywords

Moore product

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Temporal logic (03B44) Applications of universal algebra in computer science (08A70)

Recommendations

• Products of tree automata with an application to temporal logic
• Characterizing CTL-like logics on finite trees.
• scientific article; zbMATH DE number 3972842
• Timed tree automata with an application to temporal logic.
• The Complexity of Tree Automata and Logics of Programs

Cited in

(5)

• Characterizing CTL-like logics on finite trees.
• Products of tree automata with an application to temporal logic
• A model of finite automata on timed omega-trees
• Algebra for trees
• Games for Temporal Logics on Trees

This page was built for publication: Some varieties of finite tree automata related to restricted temporal logics

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