Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures
Main Author: | Gottlob, G |
---|---|
Format: | Journal article |
Published: |
1997
|
Similar Items
-
Relativized Logspace and Generalized Quantifiers over Finite Structures
by: Gottlob, G
Published: (1995) -
Capturing Relativized Complexity Classes without Order
by: Dawar, A, et al.
Published: (1998) -
Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees
by: Marc Bagnol
Published: (2017-11-01) -
Second−Order Logic over Finite Structures − Report on a Research Programme
by: Gottlob, G
Published: (2004) -
Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems
by: Eiter, T, et al.
Published: (1996)