The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 70, number: 2

  1. David Delahaye
    A Proof Dedicated Meta-Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  2. Aaron Stump, Clark W. Barrett, David L. Dill
    Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  3. Carsten Schürmann, Serge Autexier
    Towards Proof Planning for M-omega-plus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  4. Ivan Scagnetto, Marino Miculan
    Ambient Calculus and its Logic in the Calculus of Inductive Constructions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  5. Femke van Raamsdonk, Paula Severi
    Eliminating Proofs from Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  6. Brigitte Pientka
    Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  7. Frank Pfenning
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  8. Alberto Momigliano, Simon Ambler, Roy L. Crole
    A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  9. Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova
    Isolating Resource Consumption in Linear Logic Proof Search. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  10. Joseph Vanderwaart, Karl Crary
    A Simplified Account of the Metatheory of Linear LF. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [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