Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2006 (11) 2007 (1)
Publication types (Num. hits)
inproceedings(11) proceedings(1)
Venues (Conferences, Journals, ...)
LFMTP@FLoC(12)
Authors
Alberto Momigliano(2) Brigitte Pientka(2) Aaron Bohannon(1) Aleksey Nogin(1) Alexei Kopylov(1) Alwen Tiu(1) Andrew W. Appel(1) Brian E. Aydemir(1) Chad E. Brown(1) Christian Urban(1) Hongwei Xi(1) Jason Hickey(1) Kevin Donnelly(1) Mircea-Dan Hernest(1) Murdoch Gabbay(1) Stefan Berghofer(1) More (+10 of total 20)
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
1Alberto Momigliano, Brigitte Pientka (eds.) Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle, WA, USA, August 16, 2006 Search on Bibsonomy LFMTP@FLoC The full citation details ... 2007 DBLP  BibTeX  RDF
1Andrew W. Appel, Xavier Leroy A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract). Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alwen Tiu A Logic for Reasoning about Generic Judgments. Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich Nominal Reasoning Techniques in Coq: (Extended Abstract). Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Stefan Berghofer, Christian Urban A Head-to-Head Comparison of de Bruijn Indices and Names. Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ulrich Schöpp Modelling Generic Judgements. Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano, Brigitte Pientka Preface. Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Mircea-Dan Hernest Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog. Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov Practical Reflection for Sequent Logics. Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Chad E. Brown Encoding Functional Relations in Scunak. Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Murdoch Gabbay Hierarchical Nominal Terms and Their Theory of Rewriting. Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kevin Donnelly, Hongwei Xi A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F. Search on Bibsonomy LFMTP@FLoC The full citation details ... 2006 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