[Club2] Mo, 30.7. 15:00 im Turing: Christian Sternagel

Alexander Krauss krauss at in.tum.de
Fri Jul 27 10:59:39 CEST 2007

Previous message: [Club2] Talks on Fri 27-Jul-2007 11:30 (Turing)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Christian Sternagel (Universität Innsbruck) trägt über
Work in progress zur Formalisierung von Terminierungsbeweisen vor.

Wann: Mo. 30.7., 15h
Wo: Turing (MI 00.09.055)

Gruß
Alex

Previous message: [Club2] Talks on Fri 27-Jul-2007 11:30 (Turing)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Club2 mailing list