Searching for "Associative Path Orderings." – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Theory Path Orderings
- … from related properties of the status function. Theory path orderings generalize associative path…
- Cited by 1 (1 self) – Add To MetaCart
-
Buchberger's algorithm: A constraint-based completion procedure
- … is constructed by the lexicographic combination of several associative path orderings (Bachmair and Plaisted 1985…
- Cited by 10 (2 self) – Add To MetaCart
-
Associative-Commutative Reduction Orderings via Head-Preserving Interpretations
- … associative path ordering of Delor and Puel [7], and any total AC-ordering defined by our generic definition…
- Cited by 2 (0 self) – Add To MetaCart
-
Constraints in Term Algebras (Short Survey)
- … use the associative path ordering [4] on formulae 1 , extending the precedence on F [ X defined by…
- Cited by 3 (3 self) – Add To MetaCart
-
Termination of Associative-Commutative Rewriting using Dependency Pairs Criteria
- … are minimal in the precedence, then rpo is an AC-compatible simplification ordering. Associative path…
- Add To MetaCart
-
Termination of Associative-Commutative Rewriting by Dependency Pairs
- …��cation ordering. Associative path orderings are extensions of RPO that allow a more general precedence…
- Cited by 12 (1 self) – Add To MetaCart
-
Automated Deduction with Associative Commutative Operators
- … is the associative path ordering scheme [BP85], which extends the recursive path ordering (see also [Der82…
- Cited by 9 (1 self) – Add To MetaCart
-
Superposition Theorem Proving for Commutative Algebraic Theories
- …) that generalizes the basic idea of the associative path ordering (Bachmair and Plaisted 1985). In our construction…
- Cited by 6 (2 self) – Add To MetaCart
-
D-Bases for Polynomial Ideals over Commutative Noetherian Rings
- … this associative path ordering by apo or simply . 4 Any precedence on the indeterminates will do. If all…
- Cited by 2 (1 self) – Add To MetaCart
-
Any Ground Associative-Commutative Theory Has a Finite Canonical System
- …. Perhaps the best known among them is the associative path ordering scheme [?], which extends the recursive…
- Cited by 19 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
