Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "LFMTP@CADE"( http://dblp.L3S.de/Venues/LFMTP@CADE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/lfmtp

Publication years (Num. hits)
2007 (11) 2008 (1)
Publication types (Num. hits)
inproceedings(11) proceedings(1)
Venues (Conferences, Journals, ...)
LFMTP@CADE(12)
Authors
Brigitte Pientka(3) Carsten Schürmann(2) Aaron Stump(1) Alan J. Martin(1) Alberto Momigliano(1) Alexandre Buisse(1) Amy P. Felty(1) Anders Schack-Nielsen(1) Christian Urban(1) Florent Pompigne(1) Frank Pfenning(1) Fredrik Lindblad(1) Julien Narboux(1) Michael Zeller(1) Morgan Deters(1) Murdoch Gabbay(1) More (+10 of total 21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Brigitte Pientka, Carsten Schürmann (eds.) Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen, Germany, July 15, 2007 Search on Bibsonomy LFMTP@CADE The full citation details ... 2008 DBLP  BibTeX  RDF
1Fredrik Lindblad Higher-Order Proof Construction Based on First-Order Narrowing. Search on Bibsonomy LFMTP@CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1William Lovas, Frank Pfenning A Bidirectional Refinement Type System for LF. Search on Bibsonomy LFMTP@CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano, Alan J. Martin, Amy P. Felty Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. Search on Bibsonomy LFMTP@CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Paul Callaghan Coercive Subtyping via Mappings of Reduction Behaviour. Search on Bibsonomy LFMTP@CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alexandre Buisse, Peter Dybjer Towards Formalizing Categorical Models of Type Theory in Type Theory. Search on Bibsonomy LFMTP@CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Brigitte Pientka, Carsten Schürmann Preface. Search on Bibsonomy LFMTP@CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Brigitte Pientka, Xi Li, Florent Pompigne Focusing the Inverse Method for LF: A Preliminary Report. Search on Bibsonomy LFMTP@CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Anders Schack-Nielsen Induction on Concurrent Terms. Search on Bibsonomy LFMTP@CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michael Zeller, Aaron Stump, Morgan Deters Signature Compilation for the Edinburgh Logical Framework. Search on Bibsonomy LFMTP@CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Julien Narboux, Christian Urban Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking. Search on Bibsonomy LFMTP@CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Murdoch Gabbay, Stéphane Lengrand The lambda-context Calculus. Search on Bibsonomy LFMTP@CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license