
Journals in DBLP
Inf. Comput. 1993, volume: 103, number: 1
 Amir Pnueli, Lenore D. Zuck
Probabilistic Verification [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:103, n:1, pp:129 [Journal]
 Seymour Ginsburg, Dan A. Simovici, Xiaoyang Sean Wang
ContentRelated Interval Queries on Object Histories [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:103, n:1, pp:3067 [Journal]
 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:6885 [Journal]
 Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
A ModelTheoretic Reconstruction of the Operational Semantics of Logic Programs [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:103, n:1, pp:86113 [Journal]
 José Meseguer, Joseph A. Goguen
OrderSorted Algebra Solves the ConstructorSelector, Multiple Representation, and Coercion Problems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:103, n:1, pp:114158 [Journal]
