scientific article
From MaRDI portal
Publication:3336736
zbMath0546.68077MaRDI QIDQ3336736
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Kleene Monads: Handling Iteration in a Framework of Generic Effects ⋮ Dummy elimination in equational rewriting ⋮ Termination of rewriting ⋮ History and basic features of the critical-pair/completion procedure ⋮ AC-Termination of rewrite systems: A modified Knuth-Bendix ordering ⋮ A general conservative extension theorem in process algebras with inequalities ⋮ Termination modulo equations by abstract commutation with an application to iteration ⋮ Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility ⋮ Equational completion in order-sorted algebras ⋮ Confluence for graph transformations ⋮ Strict coherence of conditional rewriting modulo axioms ⋮ Building exact computation sequences ⋮ Conditional narrowing modulo a set of equations ⋮ Termination orderings for associative-commutative rewriting systems ⋮ Confluence of algebraic rewriting systems
