|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michael Kohlhase, Jan Frederik Schaefer |
GF + MMT = GLF - From Language to Semantics through LF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019., pp. 24-39, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001, Ivan Scagnetto (eds.) |
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Stump |
A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019., pp. 55-67, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa |
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019., pp. 8-23, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Müller 0001, Florian Rabe 0001 |
Rapid Prototyping Formal Systems in MMT: 5 Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019., pp. 40-54, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001, Christian Urban (eds.) |
Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Aaron Stump |
Proof Checking Technology for Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 121-133, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jana Dunfield, Brigitte Pientka |
Case Analysis of Higher-Order Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 69-84, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Gacek, Dale Miller 0001, Gopalan Nadathur |
Reasoning in Abella about Structural Operational Semantics Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 85-100, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney |
A Simple Nominal Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 37-52, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Karl Crary |
Explicit Contexts in LF (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 53-68, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Leivant |
Inductive Completeness of Logics of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 101-112, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alwen Tiu |
On the Role of Names in Reasoning about lambda-tree Syntax Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 135-150, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | James Chapman 0001 |
Type Theory Should Eat Itself. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 21-36, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adam Poswolsky, Carsten Schürmann |
System Description: Delphin - A Functional Programming Language for Deductive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 113-120, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Baelde |
On the Expressivity of Minimal Generic Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 3-19, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001, Christian Urban |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 1, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|