scientific article; zbMATH DE number 3870640
From MaRDI portal
Publication:3336736
Recommendations
Cited in
(21)- Strict coherence of conditional rewriting modulo axioms
- Improving associative path orderings
- The termination hierarchy for term rewriting
- Conditional narrowing modulo a set of equations
- Termination modulo equations by abstract commutation with an application to iteration
- Kleene monads: handling iteration in a framework of generic effects
- Building exact computation sequences
- scientific article; zbMATH DE number 2043543 (Why is no real title available?)
- Termination of rewriting
- Termination orderings for associative-commutative rewriting systems
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility
- A general conservative extension theorem in process algebras with inequalities
- scientific article; zbMATH DE number 4047068 (Why is no real title available?)
- Confluence of algebraic rewriting systems
- Equational completion in order-sorted algebras
- Completion of a Set of Rules Modulo a Set of Equations
- AC-termination of rewrite systems: a modified Knuth-Bendix ordering
- History and basic features of the critical-pair/completion procedure
- Dummy elimination in equational rewriting
- Equilibrium and termination
- Confluence for graph transformations
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 Q3336736)
