|
|
Journals in DBLP
Inf. Comput.
1987, volume: 75, number: 3
- Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep
Needed Reduction and Spine Strategies for the Lambda Calculus [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1987, v:75, n:3, pp:191-231 [Journal]
- Dirk Hauschildt, Rüdiger Valk
Safe States in Banker-like Resource Allocations Problems [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1987, v:75, n:3, pp:232-263 [Journal]
- Evangelos Kranakis
Fixed Point Equations with Parameters in the Projective Model [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1987, v:75, n:3, pp:264-288 [Journal]
- A. W. Roscoe, Naiem Dathi
The Pursuit of Deadlock freedom [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1987, v:75, n:3, pp:289-327 [Journal]
|
