Logo - Fakultät für Mathematik und Informatik Illustration

Proceedings von Konferenzen und Workshops

Titel:

Axiomatizing Modal Theories of Subset Spaces (An Example of the Power of Hybrid Logic)

AutorInnen: Bernhard Heinemann
Kategorie: Sonstiges
erschienen in: Proc. HyLo@LICS, Copenhagen, Denmark, 2002, pp. 69-83
Bernhard Heinemann | 11.05.2011
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Algorithmen und Komplexität, 58084 Hagen, Tel.: +49 2331 987-2823