An Algorithm for General Set Unification and Its Complexity
Journal of automated reasoning. Bd. 22. H. 1. Dordrecht [u.a.]: Springer 1999 S. 45 - 64
Erscheinungsjahr: 1999
ISBN/ISSN: 0168-7433
Publikationstyp: Zeitschriftenaufsatz
| Geprüft | Bibliothek |
Autoren
Stolzenburg, Frieder (Autor)
