Products of tree automata with an application to temporal logic

zbMATH Open1136.68037MaRDI QIDQ5450111FDOQ5450111

Authors: Szabolcs Iván, Zoltán Ésik 

Publication date: 19 March 2008

Recommendations

• Some varieties of finite tree automata related to restricted temporal logics
• Characterizing CTL-like logics on finite trees.
• scientific article; zbMATH DE number 3972842
• scientific article; zbMATH DE number 4033095
• Timed tree automata with an application to temporal logic.

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)

Cited In (6)

• Product of partition logics, orthoalgebras, and automata
• New applications of the wreath product of forest algebras
• Algebra for trees
• Some varieties of finite tree automata related to restricted temporal logics
• Tree expressions and their product formula
• Games for Temporal Logics on Trees

This page was built for publication: Products of tree automata with an application to temporal logic

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