On unification for bounded distributive lattices.
ACM Trans. Comput. Log. Bd. 8. H. 2. 2007 S. 12
Erscheinungsjahr: 2007
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1145/1227839.1227844
Geprüft | Bibliothek |
ACM Trans. Comput. Log. Bd. 8. H. 2. 2007 S. 12
Erscheinungsjahr: 2007
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1145/1227839.1227844
Geprüft | Bibliothek |