scientific article; zbMATH DE number 3921960
From MaRDI portal
Publication:3696500
Recommendations
- Termination orderings for associative-commutative rewriting systems
- Path orderings for termination of associative-commutative rewriting
- Extension of the associative path ordering to a chain of associative commutative symbols
- Associative-commutative reduction orderings
- Improving associative path orderings
Cited in
(25)- Rewriting with a nondeterministic choice operator
- Associative-commutative reduction orderings
- A term equality problem equivalent to graph isomorphism
- Automated deduction with associative-commutative operators
- A path ordering for proving termination of AC rewrite systems
- An improved general path order
- How to sort by walking and swapping on paths and trees
- A Monotonic Higher-Order Semantic Path Ordering
- On Lazy Commutation
- Dependency Pairs and Polynomial Path Orders
- scientific article; zbMATH DE number 3905845 (Why is no real title available?)
- scientific article; zbMATH DE number 4047066 (Why is no real title available?)
- scientific article; zbMATH DE number 1241629 (Why is no real title available?)
- scientific article; zbMATH DE number 2043535 (Why is no real title available?)
- scientific article; zbMATH DE number 1507181 (Why is no real title available?)
- scientific article; zbMATH DE number 1405624 (Why is no real title available?)
- Extension of the associative path ordering to a chain of associative commutative symbols
- Predicate Completion for non-Horn Clause Sets
- Recursive Path Orderings Can Also Be Incremental
- A Higher-Order Iterative Path Ordering
- Path orderings for termination of associative-commutative rewriting
- Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete
- Improving associative path orderings
- Positive deduction modulo regular theories
- Simulating dependency pairs by semantic labeling
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 Q3696500)
