scientific article; zbMATH DE number 176756

MaRDI QIDQ4036586zbMATH OpenFDO

Authors Hubert Comon

Publication date 18 May 1993

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)

Recommendations

• Complete axiomatizations of some quotient term algebras
• scientific article; zbMATH DE number 176149
• 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

Cited in

(6)

• Complete axiomatizations of some quotient term algebras
• Negation elimination in equational formulae (extended abstract)
• scientific article; zbMATH DE number 3135141 (Why is no real title available?)
• Narrowing based procedures for equational disunification
• Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
• Computer Science Logic

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)