Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 226, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Towards Merging PlatOmega and PGIP. [Citation Graph (, )][DBLP]
   
   
3. 
   Visualizing Proof Search for Theorem Prover Development. [Citation Graph (, )][DBLP]
   
   
4. 
   Panoptes: An Exploration Tool for Formal Proofs. [Citation Graph (, )][DBLP]
   
   
5. 
   Managing Proof Documents for Asynchronous Processing. [Citation Graph (, )][DBLP]
   
   
6. 
   A User Interface for a Mathematical System that Allows Ambiguous Formulae. [Citation Graph (, )][DBLP]
   
   
7. 
   An Interactive Driver for Goal-directed Proof Strategies. [Citation Graph (, )][DBLP]