Searching for authors named "Florian Rabe" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
An Exchange Format for Modular Knowledge
- …An Exchange Format for Modular Knowledge Florian Rabe, Michael Kohlhase Jacobs University Bremen…
- Add To MetaCart
-
Evaluation of Systems for Higher-order Logic (ESHOL)
- …Evaluation of Systems for Higher-order Logic (ESHOL) Christoph Benzmüller 1 , Florian Rabe 2…
- Cited by 1 (0 self) – Add To MetaCart
-
THF0 – The Core TPTP Language for Classical Higher-Order Logic
- …THF0 – The Core TPTP Language for Classical Higher-Order Logic Christoph Benzmüller 1⋆ , Florian…
- Cited by 4 (3 self) – Add To MetaCart
-
Flyspeck in a Semantic Wiki Collaborating on a Large Scale Formalization of the Kepler Conjecture
- … Christoph Lange 1 , Sean McLaughlin 2 , and Florian Rabe 1 1 Computer Science, Jacobs University Bremen, {ch.lange,f.rabe…
- Cited by 1 (0 self) – Add To MetaCart
-
Transforming the Latvian Health System Accessibility of Health Services from a Pro-poor Perspective
- … (KfW Banking Group). E-Mail: sven.neunsinger@(email omitted); Florian Rabe, Economist, Kreditanstalt für…
- Add To MetaCart
-
An institutional view on categorical logic and the Curry-Howard-Tait-isomorphism
- … 1 , Florian Rabe 2 , Valeria De Paiva 3 , Lutz Schröder 1 , and Joseph Goguen 4 1 Department…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 6.
