Journals in DBLP

J. Autom. Reasoning
2003, volume: 31, number: 3-4

1. Amy P. Felty
   Preface. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:31, n:3-4, pp:189-190 [Journal]
   
2. Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
   A Syntactic Approach to Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:31, n:3-4, pp:191-229 [Journal]
   
3. Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga
   A Trustworthy Proof Checker. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:31, n:3-4, pp:231-260 [Journal]
   
4. David Aspinall, Adriana B. Compagnoni
   Heap-Bounded Assembly Language. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:31, n:3-4, pp:261-302 [Journal]
   
5. Eva Rose
   Lightweight Bytecode Verification. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:31, n:3-4, pp:303-334 [Journal]
   
6. James Riely, Matthew Hennessy
   Trust and Partial Typing in Open Systems of Mobile Agents. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:31, n:3-4, pp:335-370 [Journal]