Intersection of term equality sets in finitely defined algebras

DOI10.1007/BF02667035zbMath0944.68039OpenAlexW2061442369MaRDI QIDQ1968549

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)

Cites Work

• Generalizations of algorithms that find invariant relationships in programs over algebra of terms
• Unnamed Item
• Unnamed Item
• Unnamed Item

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