Peter H. Schmitt - University of Karlsruhe

homepage:	http://lfm.iti.uni-karlsruhe.de/pschmitt.php
search externally:	Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife

tutorial

Dynamical Logic
as author at Summer Schools in Logic and Learning, Canberra 2009,
7312 views