scientific article; zbMATH DE number 4108163

MaRDI QIDQ3832056zbMATH OpenFDO

Authors Uschi Heuter

Publication date 1988

zbMATH Keywords

definiteregular tree languagestree language

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 17807
• Regular tree languages definable in FO and in FO\(_{\mathrm{mod}}\)
• scientific article; zbMATH DE number 4110130
• On reverse and general definite tree languages (extended abstract)
• A Decidable Characterization of Locally Testable Tree Languages

Cited in

(14)

• General varieties of tree languages
• Algebra for trees
• Characterizing CTL-like logics on finite trees.
• Positive varieties of tree languages
• Learning Tree Languages
• A decidable characterization of locally testable tree languages
• scientific article; zbMATH DE number 3880129 (Why is no real title available?)
• Aperiodicity in Tree Automata
• A Decidable Characterization of Locally Testable Tree Languages
• scientific article; zbMATH DE number 4110130 (Why is no real title available?)
• scientific article; zbMATH DE number 17807 (Why is no real title available?)
• On reverse and general definite tree languages (extended abstract)
• Cascade Products and Temporal Logics on Finite Trees
• Tree algebras and varieties of tree languages

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 Q3832056)