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

Veröffentlichung

Titel:

On Subset Space Kripke Structures

AutorInnen: Bernhard Heinemann
Kategorie: Sonstiges
erschienen in: 9th Panhellenic Logic Symposium, Athens, Greece, July 2013. (Accepted for presentation; the paper had to be withdrawn for private reasons.)
Download: On Subset Space Kripke Structures
[ 185706 KB, pdf]
Bernhard Heinemann | 31.01.2015
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