|
|
Journals in DBLP
Inf. Comput.
1989, volume: 80, number: 1
- Leen Torenvliet, Peter van Emde Boas
Simplicity, Immunity, Relativizations and Nondeterminism [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1989, v:80, n:1, pp:1-17 [Journal]
- Hans Kleine Büning, Ulrich Löwen
Optimizing Propositional Calculus Formulas with Regard to Questions of Deducibility [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1989, v:80, n:1, pp:18-43 [Journal]
- Miklos Santha
Relativized Arthur-Merlin versus Merlin-Arthur Games [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1989, v:80, n:1, pp:44-49 [Journal]
- Pierre-Louis Curien, Adam Obtulowicz
Partiality, Cartesian closedness and Toposes [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1989, v:80, n:1, pp:50-95 [Journal]
|
