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:deciding_exists-forall_class [2008/04/03 13:43]
vkuncak created
sav08:deciding_exists-forall_class [2008/04/03 13:43] (current)
vkuncak
Line 2: Line 2:
  
 What is Herbrand'​s interpretation of this class? What is Herbrand'​s interpretation of this class?
 +
 +Complexity.
 +
 +Complexity for bounded number of quantifiers.
 +
  
 
sav08/deciding_exists-forall_class.txt · Last modified: 2008/04/03 13:43 by vkuncak
 
© EPFL 2018 - Legal notice