
Journals in DBLP
Inf. Comput. 1996, volume: 124, number: 1
 Lance Fortnow, Nick Reingold
PP is Closed Under TruthTable Reductions. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:16 [Journal]
 Andreas Gruchalski
Computability on dIDomains. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:719 [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:2031 [Journal]
 Delia Kesner, Laurence Puel, Val Tannen
A Typed Pattern Calculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:3261 [Journal]
 Christian Haack
A Decomposition Theorem for Domains. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:6267 [Journal]
 James H. Anderson, JaeHeon Yang
Time/Contention TradeOffs for Multiprocessor Synchronization. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:6884 [Journal]
 Piotr Kosiuczenko, Karl Meinke
On the Power of HigherOrder Algebraic Specification Methods. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:85101 [Journal]
