 | 2009 |
|---|
| 10 |       | Jana Giceva,
Christoph Lange,
Florian Rabe:
Integrating Web Services into Active Mathematical Documents.
Calculemus/MKM 2009: 279-293 |
| 9 | | Steven Awodey,
Florian Rabe:
Kripke Semantics for Martin-Löf's Extensional Type Theory.
TLCA 2009: 249-263 |
| 8 | | Florian Rabe,
Petr Pudlák,
Geoff Sutcliffe,
Weina Shen:
Solving the $100 modal logic challenge.
J. Applied Logic 7(1): 113-130 (2009) |
| 2008 |
|---|
| 7 | | Michael Kohlhase,
Christine Müller,
Florian Rabe:
Notations for Living Mathematical Documents.
AISC/MKM/Calculemus 2008: 504-519 |
| 6 | | Christoph Benzmüller,
Florian Rabe,
Geoff Sutcliffe:
THF0 - The Core of the TPTP Language for Higher-Order Logic.
IJCAR 2008: 491-506 |
| 5 | | Florian Rabe,
Michael Kohlhase:
An Exchange Format for Modular Knowledge.
LPAR Workshops 2008 |
| 4 | | Christoph Benzmüller,
Florian Rabe,
Carsten Schürmann,
Geoff Sutcliffe:
Evaluation of Systems for Higher-order Logic (ESHOL).
PAAR/ESHOL 2008 |
| 3 | | Christoph Lange,
Sean McLaughlin,
Florian Rabe:
Flyspeck in a Semantic Wiki.
SemWiki 2008 |
| 2 | | Kristina Sojakova,
Florian Rabe:
Translating a Dependently-Typed Logic to First-Order Logic.
WADT 2008: 326-341 |
| 2006 |
|---|
| 1 | | Florian Rabe:
First-Order Logic with Dependent Types.
IJCAR 2006: 377-391 |
