SOLVING SYMBOLIC ORDERING CONSTRAINTS

DOI10.1142/S0129054190000278MaRDI QIDQ5753928zbMATH OpenOpenAlexFDO

Authors Hubert Comon

Publication date 1990

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054190000278

zbMATH Keywords

constraint solvingHerbrand Universelexicographic path ordering extending a total precedenceordered strategiessimplification orderingsterm algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

Recommendations

• Simple LPO constraint solving methods
• Solving simplification ordering constraints
• scientific article; zbMATH DE number 176755
• scientific article; zbMATH DE number 1405617
• Maximal extensions of simplification orderings

Cited in

(19)

• A new method for undecidability proofs of first order theories
• The first-order theory of lexicographic path orderings is undecidable
• Unification of infinite sets of terms schematized by primal grammars
• Practical algorithms for deciding path ordering constraint satisfaction.
• Orienting rewrite rules with the Knuth-Bendix order.
• Stratified resolution
• Pumping, cleaning and symbolic constraints solving
• Delaying Constraint Solving in Symbolic Graph Transformation
• scientific article; zbMATH DE number 1405617 (Why is no real title available?)
• scientific article; zbMATH DE number 1456949 (Why is no real title available?)
• About the theory of tree embedding
• Encompassment properties and automata with constraints
• A precedence-based total AC-compatible ordering
• Solving simplification ordering constraints
• Redundancy criteria for constrained completion
• A total AC-compatible ordering based on RPO
• Simple LPO constraint solving methods
• Partial redundancy in saturation
• Reducibility constraints in superposition

This page was built for publication: SOLVING SYMBOLIC ORDERING CONSTRAINTS

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