scientific article; zbMATH DE number 3870640
From MaRDI portal
Publication:3336736
zbMATH Open0546.68077MaRDI QIDQ3336736FDOQ3336736
Author name not available (Why is that?)
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
Cited In (20)
- Improving associative path orderings
- Strict coherence of conditional rewriting modulo axioms
- The termination hierarchy for term rewriting
- Conditional narrowing modulo a set of equations
- Termination modulo equations by abstract commutation with an application to iteration
- AC-Termination of rewrite systems: A modified Knuth-Bendix ordering
- Building exact computation sequences
- Title not available (Why is that?)
- Termination of rewriting
- Termination orderings for associative-commutative rewriting systems
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility
- Kleene Monads: Handling Iteration in a Framework of Generic Effects
- A general conservative extension theorem in process algebras with inequalities
- Title not available (Why is that?)
- Confluence of algebraic rewriting systems
- Completion of a Set of Rules Modulo a Set of Equations
- Equational completion in order-sorted algebras
- History and basic features of the critical-pair/completion procedure
- Dummy elimination in equational rewriting
- 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)
