
Journals in DBLP
Inf. Comput. 1995, volume: 122, number: 1
 Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Observable Behaviors and Equivalences of Logic Programs [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:122, n:1, pp:129 [Journal]
 Alexander Aiken, Dexter Kozen, Edward L. Wimmers
Decidability of Systems of Set Constraints with Negative Constraints [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:122, n:1, pp:3044 [Journal]
 Hong Chen, Jieh Hsiang
Recurrence Domains: Their Unification and Application to Logic Programming [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:122, n:1, pp:4569 [Journal]
 Mario Coppo, Paola Giannini
Principal Types and Unification for a Simple Intersection Type System [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:122, n:1, pp:7096 [Journal]
 Pierpaolo Degano, Roberto Gorrieri
A Causal Operational Semantics of Action Refinement [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:122, n:1, pp:97119 [Journal]
 Dieter Spreen
On Some Decision Problems in Programming [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:122, n:1, pp:120139 [Journal]
 S. Muthukrishnan, H. Ramesh
String Matching Under a General Matching Relation [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:122, n:1, pp:140148 [Journal]
