scientific article

From MaRDI portal

Revision as of 03:03, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4036586

Jump to:navigation, search

zbMath0772.03015MaRDI QIDQ4036586

Hubert Comon

Publication date: 18 May 1993

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

zbMATH Keywords

complete axiomatization existential fragment of the theory of associative-commutative function symbols quasi-free theory quotient 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)

Related Items (3)

Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories ⋮ Negation elimination in equational formulae ⋮ Narrowing based procedures for equational disunification

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4036586&oldid=17756568"