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

Proceedings von Konferenzen und Workshops

Titel:

Increasing Sets and Linear Tense Logic

AutorInnen: Bernhard Heinemann
Kategorie: Sonstiges
erschienen in: Proc. Int. Conf. on Temporal Logic, Leipzig, Germany, 2000, pp. 83-92
Bernhard Heinemann | 07.09.2010
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