|
Journals in DBLP
Inf. Comput. 1987, volume: 72, number: 2
- Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
Type Theories, Normal Forms and D_\infty-Lambda-Models [Citation Graph (0, 0)][DBLP] Inf. Comput., 1987, v:72, n:2, pp:85-116 [Journal]
- James R. Driscoll, Merrick L. Furst
Computing Short Generator Sequences [Citation Graph (0, 0)][DBLP] Inf. Comput., 1987, v:72, n:2, pp:117-132 [Journal]
- Miroslaw Kutylowski
A Generalized Grzegorczyk Hierarchy and Low Complexity Classes [Citation Graph (0, 0)][DBLP] Inf. Comput., 1987, v:72, n:2, pp:133-149 [Journal]
- Gregory J. E. Rawlins, Derick Wood
Optimal Computation of Finitely Oriented Convex Hulls [Citation Graph (0, 0)][DBLP] Inf. Comput., 1987, v:72, n:2, pp:150-166 [Journal]
|