scientific article; zbMATH DE number 176756

zbMATH Open0772.03015MaRDI QIDQ4036586FDOQ4036586

Authors: Hubert Comon 

Publication date: 18 May 1993

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

Recommendations

• Complete axiomatizations of some quotient term algebras
• scientific article
• scientific article; zbMATH DE number 512857
• The \(\exists^*\forall^*\) part of the theory of ground term algebra modulo an AC symbol is undecidable.
• scientific article; zbMATH DE number 1346499

zbMATH Keywords

complete axiomatizationexistential fragment of the theory of associative-commutative function symbolsquasi-free theoryquotient term algebras

Mathematics Subject Classification ID

Theory of programming languages (68N15) Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Basic properties of first-order languages and structures (03C07)

Cited In (6)

• Complete axiomatizations of some quotient term algebras
• Title not available (Why is that?)
• Narrowing based procedures for equational disunification
• Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
• Computer Science Logic
• Negation elimination in equational formulae

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