|
Journals in DBLP
Inf. Comput. 2000, volume: 163, number: 2
- Shigetomo Kimura, Atsushi Togashi, Norio Shiratori
Inductive Synthesis of Recursive Processes from Logical Properties. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:163, n:2, pp:257-284 [Journal]
- J. M. E. Hyland, C.-H. Luke Ong
On Full Abstraction for PCF: I, II, and III. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:163, n:2, pp:285-408 [Journal]
- Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
Full Abstraction for PCF. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:163, n:2, pp:409-470 [Journal]
- Susan Older
Strong Fairness and Full Abstraction for Communicating Processes. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:163, n:2, pp:471-509 [Journal]
- Mihir Bellare, Oded Goldreich, Erez Petrank
Uniform Generation of NP-Witnesses Using an NP-Oracle. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:163, n:2, pp:510-526 [Journal]
|