Journals in DBLP

J. Autom. Reasoning
2005, volume: 35, number: 4

1. Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa
   Tool-Assisted Specification and Verification of Typed Low-Level Languages. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2005, v:35, n:4, pp:295-354 [Journal]
   
2. Robert S. Boyer, Wilfred J. Legato, Victor W. Marek
   Toward Automating the Discovery of Decreasing Measures. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2005, v:35, n:4, pp:355-371 [Journal]
   
3. Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump
   Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005). [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2005, v:35, n:4, pp:373-390 [Journal]
   
4. Nicolas Peltier
   Some Techniques for Proving Termination of the Hyperresolution Calculus. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2005, v:35, n:4, pp:391-427 [Journal]
   
5. Nimish Shah
   "Rippling: Meta-Level Guidance for Mathematical Reasoning, " by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2005, v:35, n:4, pp:429-431 [Journal]