Products of tree automata with an application to temporal logic

MaRDI QIDQ5450111zbMATH OpenFDO

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

• 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.

Cited in

(6)

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

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)