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:guru [2008/05/10 15:05]
vkuncak
sav08:guru [2008/05/10 19:49] (current)
vkuncak
Line 19: Line 19:
   * Ahrendt'​s work   * Ahrendt'​s work
   * completion for finding infinite models, presentation of infinite models   * completion for finding infinite models, presentation of infinite models
 +  * using Ehrenfeucht-Feferman games to find models
  
 References: References:
 
sav08/guru.txt · Last modified: 2008/05/10 19:49 by vkuncak
 
© EPFL 2018 - Legal notice