Unification Based on Generalized Embedding
Authors: Joerg Siekmann and Peter Szabo
Paper Information
| Title: | Unification Based on Generalized Embedding |
| Authors: | Joerg Siekmann and Peter Szabo |
| Proceedings: | UNIF Extended abstracts |
| Editors: | Mauricio Ayala-Rincon and Philippe Balbiani |
| Keywords: | equational theory, ordering, essential unification, (homeomorphically) embedded E-unifiers |
| Abstract: | ABSTRACT. At this time we only submit the abstract, which I uploaded under paper |
| Pages: | 8 |
| Talk: | Jul 07 10:00 (Session 23P: Invited Talk, and orders and sets of E-unifiers) |
| Paper: |  |