Seminarium, Teoretisk datalogi
Må 16 januari - Sö 22 januari
-
Seminarium, Teoretisk datalogi
onsdag 2017-01-18, 12.00
Medverkande: Martina Seidl, Johannes Kepler University Linz
Plats: Room 1537, Lindstedtsvägen 3, KTH
2017-01-18T12:00:00.000+01:00 2017-01-18T12:00:00.000+01:00 Martina Seidl: The QRAT proof system (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3, KTH (KTH, Stockholm, Sweden)Martina Seidl: The QRAT proof system (Seminarium, Teoretisk datalogi)