Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:exercise_06 [2008/03/25 14:02]
piskac created
sav08:exercise_06 [2008/03/25 14:04] (current)
piskac
Line 1: Line 1:
-  * Monotonicity of semantic consequence +  * Homework analysis ​  
-  * Sets of sentences with only finite and with only infinite models+
   * Herbrand universe   * Herbrand universe
   * Resolution proofs   * Resolution proofs
 
sav08/exercise_06.txt · Last modified: 2008/03/25 14:04 by piskac
 
© EPFL 2018 - Legal notice