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

1998-2

Titel:

Topological Nexttime Logic

AutorInnen: Bernhard Heinemann
Kategorie: Buchbeiträge
erschienen in: M. Kracht, M. de Rijke, H. Wansing, M. Zakharyaschev (Eds.): Advances in Modal Logic, Volume 1. CSLI Publications, Stanford, CA, 1998, pp. 99-113
Bernhard Heinemann | 01.12.2009
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