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.
 +