On Unification for Bonded Distributive Lattices.
CADE. 2000 S. 465 - 481
Erscheinungsjahr: 2000
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/10721959_38
Geprüft | Bibliothek |
CADE. 2000 S. 465 - 481
Erscheinungsjahr: 2000
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/10721959_38
Geprüft | Bibliothek |