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

Proceedings von Konferenzen und Workshops

Titel:

A Two-Sorted Hybrid Logic with Guarded Jumps

AutorInnen: Bernhard Heinemann
Kategorie: Sonstiges
erschienen in: Proc. 5th AiML Conference, Manchester, England, 2004, pp. 145-157
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