scientific article

zbMath0647.68036MaRDI QIDQ3792234

Isabelle Gnaedig, Hélène Kirchner, Claude Kirchner

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completion proceduresequational term rewriting systemsorder-sorted algebrasorder-sorted equational logic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Equational logic, Mal'tsev conditions (08B05)

Related Items (8)

Completeness and confluence of order-sorted term rewriting ⋮ Equational completion in order-sorted algebras ⋮ Order-sorted completion: The many-sorted way ⋮ Order-sorted Equational Unification Revisited ⋮ AC unification through order-sorted AC1 unification ⋮ Abstract canonical presentations ⋮ Regular expression order-sorted unification and matching ⋮ Schematization of infinite sets of rewrite rules generated by divergent completion processes

This page was built for publication: