|
Journals in DBLP
Inf. Comput. 1996, volume: 124, number: 1
- Lance Fortnow, Nick Reingold
PP is Closed Under Truth-Table Reductions. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:1-6 [Journal]
- Andreas Gruchalski
Computability on dI-Domains. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:7-19 [Journal]
- Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
Unreliable Channels are Easier to Verify Than Perfect Channels. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:20-31 [Journal]
- Delia Kesner, Laurence Puel, Val Tannen
A Typed Pattern Calculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:32-61 [Journal]
- Christian Haack
A Decomposition Theorem for Domains. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:62-67 [Journal]
- James H. Anderson, Jae-Heon Yang
Time/Contention Trade-Offs for Multiprocessor Synchronization. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:68-84 [Journal]
- Piotr Kosiuczenko, Karl Meinke
On the Power of Higher-Order Algebraic Specification Methods. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:85-101 [Journal]
|