scientific article; zbMATH DE number 3827173
From MaRDI portal
Publication:3673071
zbMATH Open0522.68013MaRDI QIDQ3673071FDOQ3673071
Authors: Jean-Pierre Jouannaud 
Publication date: 1983
Title of this publication is not available (Why is that?)
coherenceconsistencyconfluenceterm rewritingalgebraic specificationsdata typesChurch-Rosser propertycritical pairsequational deduction
Symbolic computation and algebraic computation (68W30) Data structures (68P05) Cut-elimination and normal-form theorems (03F05) Specification and verification (program logics, model checking, etc.) (68Q60) Word problems (aspects of algebraic structures) (08A50)
Cited In (13)
- Strict coherence of conditional rewriting modulo axioms
- Theorem proving modulo associativity
- On deciding confluence of finite string-rewriting systems modulo partial commutativity
- Parameter-preserving data type specifications
- Conditional rewrite rule systems with built-in arithmetic and induction
- Completion for rewriting modulo a congruence
- Unification properties of commutative theories: A categorical treatment
- Unification in commutative theories
- Unification in varieties of idempotent semigroups
- Equational completion in order-sorted algebras
- History and basic features of the critical-pair/completion procedure
- Semantics of order-sorted specifications
- Invariants and closures in the theory of rewrite systems
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 Q3673071)
