Combination Techniques for Non-Disjoint Equational Theories (1994)
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 |
