|
Journals in DBLP
- Robin Hirsch
Expressive Power and Complexity in Algebraic Logic. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1997, v:7, n:3, pp:309-351 [Journal]
- Nadia Creignou, Malika More
Complexity of Satisfiability Problems with Symmetric Polynomial Clauses. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1997, v:7, n:3, pp:353-366 [Journal]
- Alberto Momigliano, Mario Ornaghi
Regular Search Spaces and Constructive Negation. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1997, v:7, n:3, pp:367-403 [Journal]
- Henrik Imhof
Fixed-Point Logics, Generalized Quantifiers, and Oracles. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1997, v:7, n:3, pp:405-425 [Journal]
|