The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2004, volume: 103, number:

  1. David Aspinall, Christoph Lüth
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:1-2 [Journal]
  2. David Aspinall, Christoph Lüth
    Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:3-26 [Journal]
  3. Philippe Audebaud, Laurence Rideau
    TEXmacs as Authoring Tool for Formal Developments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:27-48 [Journal]
  4. Yves Bertot, Frédérique Guilhot, Loic Pottier
    Visualizing Geometrical Statements with GeoView. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:49-65 [Journal]
  5. Martin Giese
    Taclets and the KeY Prover. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:67-79 [Journal]
  6. Joseph Kiniry
    Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:81-103 [Journal]
  7. Andreas Meier, Erica Melis, Martin Pollet
    Adaptable Mixed-Initiative Proof Planning for Educational Interaction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:105-120 [Journal]
  8. Laurent Théry
    Colouring Proofs: A Lightweight Approach to Adding Formal Structure to Proofs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:121-138 [Journal]
  9. Norbert Völker
    Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:139-159 [Journal]
  10. Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier
    Interactive Theorem Proving with Tasks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:161-181 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002