[Club2] Fr. 20.2., 11h: Armin Heller - SCNP

[Alexander Krauss]

Hallo alle,

Am Freitag, den 20.2., 11h im Turing (00.09.055) trägt

             Armin Heller

über

     Terminierungsbeweise mit SCNP

vor, die er im letzten Jahr in Isabelle automatisiert hat.


Gruß
Alex