scientific article
From MaRDI portal
Publication:3673071
zbMath0522.68013MaRDI QIDQ3673071
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencycoherencecritical pairsalgebraic specificationsconfluenceterm rewritingdata typesChurch-Rosser propertyequational deduction
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
Parameter-preserving data type specifications ⋮ Unification in varieties of idempotent semigroups ⋮ Conditional rewrite rule systems with built-in arithmetic and induction ⋮ History and basic features of the critical-pair/completion procedure ⋮ Unification properties of commutative theories: A categorical treatment ⋮ Equational completion in order-sorted algebras ⋮ Semantics of order-sorted specifications ⋮ Strict coherence of conditional rewriting modulo axioms ⋮ Unification in commutative theories ⋮ Completion for rewriting modulo a congruence ⋮ On deciding confluence of finite string-rewriting systems modulo partial commutativity ⋮ Invariants and closures in the theory of rewrite systems
This page was built for publication:
