Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 174, number: 2

1. Serge Autexier, Christoph Benzmüller
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:1-2 [Journal]
   
2. Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J. Strother Moore
   ACL2s: "The ACL2 Sedan". [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:3-18 [Journal]
   
3. Louise A. Dennis
   Enhancing Theorem Prover Interfaces with Program Slice Information. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:19-33 [Journal]
   
4. Pedro Quaresma, Predrag Janicic
   GeoThms - a Web System for Euclidean Constructive Geometry. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:35-48 [Journal]
   
5. Cezary Kaliszyk
   Web Interfaces for Proof Assistants. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:49-61 [Journal]
   
6. Josef Urban, Grzegorz Bancerek
   Presenting and Explaining Mizar. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:63-74 [Journal]
   
7. Anne Mulhern, Charles Fischer, Ben Liblit
   Tool Support for Proof Engineering. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:75-86 [Journal]
   
8. Marc Wagner, Serge Autexier, Christoph Benzmüller
   PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:87-107 [Journal]
   
9. Steven Trac, Yury Puzis, Geoff Sutcliffe
   An Interactive Derivation Viewer. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:109-123 [Journal]
   
10. Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
    Tinycals: Step by Step Tacticals. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:125-142 [Journal]