default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLFM 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
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.
last updated on 2024-10-31 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
