Journals in DBLP

J. Autom. Reasoning
2001, volume: 27, number: 1

1. David A. Basin, Amy P. Felty
   Current Trends in Logical Frameworks and Metalanguages. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2001, v:27, n:1, pp:1-2 [Journal]
   
2. Paul Callaghan, Zhaohui Luo
   An Implementation of LF with Coercive Subtyping & Universes. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2001, v:27, n:1, pp:3-27 [Journal]
   
3. Mirna Bognar, Roel C. de Vrijer
   A Calculus of Lambda Calculus Contexts. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2001, v:27, n:1, pp:29-59 [Journal]
   
4. Paula Severi, Nora Szasz
   Studies of a Theory of Specifications with Built-in Program Extraction. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2001, v:27, n:1, pp:61-87 [Journal]