Wilfried Buchholz (München): (Co)recursion and notations for infinitary derivations
Thursday, 17.07.2008 17:20 im Raum M3
Angelegt am Tuesday, 08.07.2008 09:45 von Martina Pfeifer
Geändert am Wednesday, 16.07.2008 10:02 von Martina Pfeifer
[Edit | Vorlage]
Kolloquium FB10 und Sondervorträge