On Uniform Word Problems Involving Bridging Operators on Distributive Lattices
Uwe Egly; Chritian G. Fermüller (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings. Berlin: Springer 2002 S. 235 - 250
Erscheinungsjahr: 2002
ISBN/ISSN: 978-3-540-43929-5
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/3-540-45616-3_17
| Geprüft: | Bibliothek |
