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
Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Cut-elimination and normal-form theorems (03F05) Data structures (68P05) Word problems (aspects of algebraic structures) (08A50)
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:
