Differences
This shows you the differences between two versions of the page.
sav08:deciding_exists-forall_class [2008/04/03 13:43] vkuncak created |
sav08:deciding_exists-forall_class [2008/04/03 13:43] 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. | ||
+ | |||