|
Journals in DBLP
Inf. Comput. 2004, volume: 189, number: 2
- Funda Ergün, Ravi Kumar, Ronitt Rubinfeld
Fast approximate probabilistically checkable proofs. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:189, n:2, pp:135-159 [Journal]
- Markus Lohrey, Anca Muscholl
Bounded MSC communication. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:189, n:2, pp:160-181 [Journal]
- Albert Atserias, Maria Luisa Bonet
On the automatizability of resolution and related propositional proof systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:189, n:2, pp:182-201 [Journal]
- Paul-André Melliès
Comparing hierarchies of types in models of linear logic. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:189, n:2, pp:202-234 [Journal]
- Arun Sharma, Frank Stephan, Yuri Ventsov
Generalized notions of mind change complexity. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:189, n:2, pp:235-262 [Journal]
|