Bottom-Up Tree Automata with Term Constraints

DOI10.1007/978-3-642-16242-8_41MaRDI QIDQ4933333zbMATH OpenOpenAlexFDO

Authors Andreas Reuss, Helmut Seidl

Publication date 12 October 2010

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16242-8_41

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Bottom-up tree pushdown automata and rewrite systems
• Tree automata with global constraints
• Tree Automata with Global Constraints
• The bottom-up position tree automaton and its compact version
• scientific article; zbMATH DE number 1615227
• scientific article; zbMATH DE number 7360252
• Tree automata with global constraints for infinite trees
• scientific article; zbMATH DE number 3854429
• Tree automata
• Weighted tree automata with constraints

Cited in

(26)

• Finite tree automata with cost functions
• Solving a unification problem under constrained substitutions using tree automata
• Projection for Büchi tree automata with constraints between siblings
• Extending H₁-clauses with disequalities
• Crossing the syntactic barrier: hom-disequalities for \({\mathcal H}_1\)-clauses
• On positive TAGED with a bounded number of constraints
• On nondeterministic unranked tree automata with sibling constraints
• Tree automata, (dis-)equality constraints and term rewriting. What's new?
• scientific article; zbMATH DE number 5999538 (Why is no real title available?)
• The emptiness problem for tree automata with at least one global disequality constraint is NP-hard
• Visibly Tree Automata with Memory and Constraints
• Tree Automata with Global Constraints
• Automated Induction with Constrained Tree Automata
• Tree automata with global constraints
• Tree Automata with Equality Constraints Modulo Equational Theories
• Dependency Tree Automata
• Decidable classes of tree automata mixing local and global constraints modulo flat theories
• Paths, tree homomorphisms and disequalities for H₁-clauses
• scientific article; zbMATH DE number 7360252 (Why is no real title available?)
• Encompassment properties and automata with constraints
• Tree automata with global constraints for infinite trees
• Equality and disequality constraints on direct subterms in tree automata
• Tree automata with height constraints between brothers
• Tree Automata with Memory, Visibility and Structural Constraints
• Projection for Büchi Tree Automata with Constraints between Siblings
• Finite combinatory logic with predicates

This page was built for publication: Bottom-Up Tree Automata with Term Constraints

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