On unification for bounded distributive lattices
ACM Transactions on Computational Logic. Bd. 8. H. 2. New York, NY: ACM Association for Computing Machinery 2007 S. 12
Erscheinungsjahr: 2007
ISBN/ISSN: 1557-945X
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1145/1227839.1227844
| Geprüft | Bibliothek |
