On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
Harald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Berlin: Springer 1999 S. 157 - 171
Erscheinungsjahr: 1999
ISBN/ISSN: 978-3-540-66222-8
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/3-540-48660-7_11
| Geprüft: | Bibliothek |
