Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 144, number: 2

1. Alessandro Armando, Alessandro Cimatti
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:1-2 [Journal]
   
2. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani
   Encoding RTL Constructs for MathSAT: a Preliminary Report. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:3-14 [Journal]
   
3. Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin
   Tool Building Requirements for an API to First-Order Solvers. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:15-26 [Journal]
   
4. Shuvendu K. Lahiri, Madanlal Musuvathi
   An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:27-41 [Journal]
   
5. Sean McLaughlin, Clark Barrett, Yeting Ge
   Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:43-51 [Journal]
   
6. Amir Pnueli, Ofer Strichman
   Reduced Functional Consistency of Uninterpreted Functions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:53-65 [Journal]
   
7. Tjark Weber
   Integrating a SAT Solver with an LCF-style Theorem Prover. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:67-78 [Journal]
   
8. Ian Wehrman, Aaron Stump
   Mining Propositional Simplification Proofs for Small Validating Clauses. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:79-91 [Journal]