scientific article; zbMATH DE number 3896335

zbMATH Open0562.68068MaRDI QIDQ3675552FDOQ3675552

Authors: Hélène Kircher 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

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)

Cited In (11)

• A Modular Equational Generalization Algorithm
• Inductive completion with retracts
• Title not available (Why is that?)
• Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unification in combinations of collapse-free regular theories
• Equational completion in order-sorted algebras
• 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
• Title not available (Why is that?)

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)