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

1994-2

Titel:

Some Unusual Models of Test-Free Propositional Dynamic Logic

AutorInnen: Bernhard Heinemann
Kategorie: Technische Berichte
erschienen in: Informatik Berichte 166, FernUniversität in Hagen, November 1994
Bernhard Heinemann | 01.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