Journals in DBLP

Inf. Comput.
1993, volume: 103, number: 1

1. Amir Pnueli, Lenore D. Zuck
   Probabilistic Verification [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:103, n:1, pp:1-29 [Journal]
   
2. Seymour Ginsburg, Dan A. Simovici, Xiaoyang Sean Wang
   Content-Related Interval Queries on Object Histories [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:103, n:1, pp:30-67 [Journal]
   
3. Richard Beigel, William I. Gasarch, John Gill, James C. Owings
   Terse, Superterse, and Verbose Sets [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:103, n:1, pp:68-85 [Journal]
   
4. Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
   A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:103, n:1, pp:86-113 [Journal]
   
5. José Meseguer, Joseph A. Goguen
   Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:103, n:1, pp:114-158 [Journal]