LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav08:exercise_08 [2008/04/22 15:38]
piskac
sav08:exercise_08 [2008/04/22 15:41]
piskac
Line 3: Line 3:
   * Discussion about projects.   * Discussion about projects.
  
-  * Ganzinger-Bachmaier Model Existence Theorem for Propositional Logic. {{gbtalk.pdf|(Slides)}}+  * Ganzinger-Bachmaier Model Existence Theorem for Propositional Logic. ​ {{sav08:gbtalk.pdf|(Slides)}}
  
   * Homework analysis.   * Homework analysis.