|
|
Journals in DBLP
- David Delahaye
A Proof Dedicated Meta-Language. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- Frank Pfenning
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
- 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]
- 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]
- 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]
|
