
Journals in DBLP
Inf. Comput. 1992, volume: 99, number: 2
 M. V. H. Fairtlough, S. S. Wainer
Ordinal Complexity of Recursive Definitions [Citation Graph (0, 0)][DBLP] Inf. Comput., 1992, v:99, n:2, pp:123153 [Journal]
 Gerard R. Renardel de Lavalette
Strictness Analysis via Abstract Interpretation for Recursively Defined Types [Citation Graph (0, 0)][DBLP] Inf. Comput., 1992, v:99, n:2, pp:154177 [Journal]
 Philippe Darondeau, Serge Yoccoz
Proof Systems for Infinite Behaviours [Citation Graph (0, 0)][DBLP] Inf. Comput., 1992, v:99, n:2, pp:178191 [Journal]
 Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine
A Denotational Theory of Synchronous Reactive Systems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1992, v:99, n:2, pp:192230 [Journal]
 ChristianEmil Ore
The Extended Calculus of Constructions (ECC) with Inductive Types [Citation Graph (0, 0)][DBLP] Inf. Comput., 1992, v:99, n:2, pp:231264 [Journal]
