| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
|
Momigliano, Alberto
|
|
2002
|
70 |
2 |
p. 60-75
16 p.
|
artikel
|
| 2 |
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
|
Scagnetto, Ivan
|
|
2002
|
70 |
2 |
p. 76-95
20 p.
|
artikel
|
| 3 |
A Proof Dedicated Meta-Language 1 1 This work has been realized within the LogiCal project (INRIA-Rocquencourt, France).
|
Delahaye, David
|
|
2002
|
70 |
2 |
p. 96-109
14 p.
|
artikel
|
| 4 |
A Simplified Account of the Metatheory of Linear LF 1 1 This material is based on work supported in part by NSF grants CCR-9984812 and CCR-0121633. Any opinions, findings, and conclusions or recommendations in this publication are those of the authors and do not reflect the views of this agency.
|
Vanderwaart, Joseph C.
|
|
2002
|
70 |
2 |
p. 11-28
18 p.
|
artikel
|
| 5 |
Eliminating Proofs from Programs
|
van Raamsdonk, Femke
|
|
2002
|
70 |
2 |
p. 42-59
18 p.
|
artikel
|
| 6 |
Isolating Resource Consumption in Linear Logic Proof Search
|
Lòpez, Pablo
|
|
2002
|
70 |
2 |
p. 1-10
10 p.
|
artikel
|
| 7 |
Memoization-Based Proof Search in LF
|
Pientka, Brigitte
|
|
2002
|
70 |
2 |
p. 110-123
14 p.
|
artikel
|
| 8 |
Preface
|
Pfenning, Frank
|
|
2002
|
70 |
2 |
p. 146-
1 p.
|
artikel
|
| 9 |
Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF
|
Stump, Aaron
|
|
2002
|
70 |
2 |
p. 29-41
13 p.
|
artikel
|
| 10 |
Towards Proof Planning for M ω + 1 1 This work was supported in part by the National Science Foundation NSF under grants CCR-0133502 and INT-9909952, and by the German Academic Exchange Service DAAD.
|
Schürmann, Carsten
|
|
2002
|
70 |
2 |
p. 124-145
22 p.
|
artikel
|
Tijdschrift beschrijving