|
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:1-29 [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:30-44 [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:45-69 [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:70-96 [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:97-119 [Journal]
- Dieter Spreen
On Some Decision Problems in Programming [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:122, n:1, pp:120-139 [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:140-148 [Journal]
|