Frühere Vorträge im
Logikseminar
(ab Januar 2003)
Donnerstag, 13.02.03, 16.15 Uhr:
Stefan Leue:
Directed Explicit-State Model Checking
(
Gebäude 46.1
, Raum 024)
Dienstag, 11.03.03, 16.15 Uhr:
Viktor Kuncak:
Decidability of an Extension of Term Algebras
(
Gebäude 46.1
, Raum 024)
Previous
|
Up
| Next
Uwe Waldmann
<
uwe@mpi-inf.mpg.de
>, 2003-09-16.
Imprint
|
Data Protection