Combination Techniques for Non-Disjoint Equational Theories (1994)

Cached

Download Links

by Eric Domenjoud , Francis Klay , Christophe Ringeissen
Venue:Proceedings 12th International Conference on Automated Deduction
Citations:24 - 4 self

Document Versions

Combination Techniques for Non-Disjoint Equational Theories –Eric Domenjoud, Francis Klay, Christophe Ringeissen — 1994 — Proceedings 12th International Conference on Automated Deduction