![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
LFM 2002: Copenhagen, Denmark
- Frank Pfenning:
International Workshop on Logical Frameworks and Meta-Languages, LFM 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(2), Elsevier 2002 - Pablo López, Ernesto Pimentel
, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova:
Isolating Resource Consumption in Linear Logic Proof Search. 1-10 - Joseph Vanderwaart, Karl Crary:
A Simplified Account of the Metatheory of Linear LF. 11-28 - Aaron Stump, Clark W. Barrett
, David L. Dill:
Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF. 29-41 - Femke van Raamsdonk, Paula Severi:
Eliminating Proofs from Programs. 42-59 - Alberto Momigliano
, Simon Ambler, Roy L. Crole:
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. 60-75 - Ivan Scagnetto, Marino Miculan
:
Ambient Calculus and its Logic in the Calculus of Inductive Constructions. 76-95 - David Delahaye:
A Proof Dedicated Meta-Language. 96-109 - Brigitte Pientka:
Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype. 110-123 - Carsten Schürmann, Serge Autexier
:
Towards Proof Planning for Mω+. 124-145 - Frank Pfenning:
Preface. 146
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.