scientific article; zbMATH DE number 176122
From MaRDI portal
Publication:4035223
Recommendations
- A termination ordering for higher order rewrite systems
- Termination orderings for associative-commutative rewriting systems
- AC-termination of rewrite systems: a modified Knuth-Bendix ordering
- scientific article; zbMATH DE number 1615229
- Higher-order rewrite systems and their confluence
- Term rewriting systems with sort priorities
- Deciding the confluence of ordered term rewrite systems
- Term orderings for non-reachability of (conditional) rewriting
- scientific article; zbMATH DE number 3905845
Cited in
(14)- Termination orderings for associative-commutative rewriting systems
- Termination of rewriting
- Sequentiality in orthogonal term rewriting systems
- Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering
- Termination of rewriting with right-flat rules modulo permutative theories
- Order-Sorted Rewriting and Congruence Closure
- scientific article; zbMATH DE number 3870584 (Why is no real title available?)
- scientific article; zbMATH DE number 2043548 (Why is no real title available?)
- Bi-rewriting, a term rewriting technique for monotonic order relations
- A semantic approach to order-sorted rewriting
- Partial Order Infinitary Term Rewriting
- Could orders be captured by term rewriting systems?
- Rewriting Techniques and Applications
- Currying of order-sorted term rewriting systems
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 Q4035223)
