Unification in a combination of equational theories with shared constants and its application to Primal Algebras (1992)

Cached

Download Links

by Christophe Ringeissen
Venue:In Proceedings of the 1st International Conference on Logic Programming and Automated Reasoning, St. Petersburg (Russia), volume 624 of Lecture Notes in Artificial Intelligence
Citations:15 - 3 self