|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Joseph Vanderwaart, Karl Crary |
A Simplified Account of the Metatheory of Linear LF.  |
LFM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Stump, Clark W. Barrett, David L. Dill |
Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF. |
LFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Momigliano, Simon Ambler, Roy L. Crole |
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. |
LFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Delahaye |
A Proof Dedicated Meta-Language. |
LFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Brigitte Pientka |
Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype. |
LFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann, Serge Autexier |
Towards Proof Planning for Mω+. |
LFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Femke van Raamsdonk, Paula Severi |
Eliminating Proofs from Programs. |
LFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Scagnetto, Marino Miculan |
Ambient Calculus and its Logic in the Calculus of Inductive Constructions. |
LFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning |
Preface. |
LFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo López, Ernesto Pimentel 0001, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova |
Isolating Resource Consumption in Linear Logic Proof Search. |
LFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning (eds.) |
International Workshop on Logical Frameworks and Meta-Languages, LFM 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002 |
LFM |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license