Journals in DBLP

Inf. Comput.
2000, volume: 163, number: 1

1. Uwe Nestmann, Benjamin C. Pierce
   Decoding Choice Encodings. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:163, n:1, pp:1-59 [Journal]
   
2. Suad Alagic
   Semantics of Temporal Classes. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:163, n:1, pp:60-102 [Journal]
   
3. John H. Reif
   On the Impossibility of Interaction-Free Quantum Sensing for Small I/O Bandwidth. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:163, n:1, pp:103-122 [Journal]
   
4. Albert Benveniste, Benoît Caillaud, Paul Le Guernic
   Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:163, n:1, pp:125-171 [Journal]
   
5. Sébastien Bornot, Joseph Sifakis
   An Algebraic Framework for Urgency. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:163, n:1, pp:172-202 [Journal]
   
6. Yonit Kesten, Amir Pnueli
   Verification by Augmented Finitary Abstraction. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:163, n:1, pp:203-243 [Journal]