Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
Journal of Symbolic Computation. Bd. 36. H. 6. Amsterdam: Elsevier 2003 S. 891 - 924
Erscheinungsjahr: 2003
ISBN/ISSN: 1095-855X
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/S0747-7171(03)00069-5
| Geprüft | Bibliothek |
