Intersection of term equality sets in finitely defined algebras

DOI10.1007/BF02667035MaRDI QIDQ1968549zbMATH OpenOpenAlexFDO

Authors S. L. Kryvyi

Publication date 20 March 2000

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02667035

zbMATH Keywords

absolutely free \(\Omega\)-algebrasterm equalities

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Publication:4503832
• Computing congruent closures on terms
• Intersection of finitely generated congruences over term algebra
• scientific article; zbMATH DE number 3885353
• Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras

Cites work

• scientific article; zbMATH DE number 3597851 (Why is no real title available?)
• scientific article; zbMATH DE number 1165594 (Why is no real title available?)
• scientific article; zbMATH DE number 3382655 (Why is no real title available?)
• Generalizations of algorithms that find invariant relationships in programs over algebra of terms

Cited in

(2)

• Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry
• scientific article; zbMATH DE number 1507044 (Why is no real title available?)

This page was built for publication: Intersection of term equality sets in finitely defined algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1968549)