|
|
|
|
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.  |
LFMTP@LICS  |
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. |
LFMTP@LICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Stump |
A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille. |
LFMTP@LICS |
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. |
LFMTP@LICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Müller 0001, Florian Rabe 0001 |
Rapid Prototyping Formal Systems in MMT: 5 Case Studies. |
LFMTP@LICS |
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 |
LFMTP@LICS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Aaron Stump |
Proof Checking Technology for Satisfiability Modulo Theories. |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jana Dunfield, Brigitte Pientka |
Case Analysis of Higher-Order Data. |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller 0001, Gopalan Nadathur |
Reasoning in Abella about Structural Operational Semantics Specifications. |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James Cheney |
A Simple Nominal Type Theory. |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Crary |
Explicit Contexts in LF (Extended Abstract). |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Leivant |
Inductive Completeness of Logics of Programs. |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alwen Tiu |
On the Role of Names in Reasoning about lambda-tree Syntax Specifications. |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James Chapman 0001 |
Type Theory Should Eat Itself. |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Poswolsky, Carsten Schürmann |
System Description: Delphin - A Functional Programming Language for Deductive Systems. |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Baelde |
On the Expressivity of Minimal Generic Quantification. |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel 0001, Christian Urban |
Preface. |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license