scientific article; zbMATH DE number 3896335

zbMATH Open0562.68068MaRDI QIDQ3675552FDOQ3675552

Authors Hélène Kircher

Publication date 1984

zbMATH Keywords

initial algebraspecificationsequational term rewriting systemclasses of equational theories

Mathematics Subject Classification ID

Data structures (68P05) Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05)

Recommendations

• scientific article; zbMATH DE number 3871335
• scientific article; zbMATH DE number 3945335
• Proofs by induction in equational theories with constructors
• scientific article; zbMATH DE number 3943001
• Partial completion of equational theories

Cited in

(11)

• Equational completion in order-sorted algebras
• scientific article; zbMATH DE number 3871335 (Why is no real title available?)
• scientific article; zbMATH DE number 3945335 (Why is no real title available?)
• A Modular Equational Generalization Algorithm
• Inductive completion with retracts
• Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
• REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies
• History and basic features of the critical-pair/completion procedure
• scientific article; zbMATH DE number 139988 (Why is no real title available?)
• Unification in combinations of collapse-free regular theories
• scientific article; zbMATH DE number 3943001 (Why is no real title available?)

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 Q3675552)