Searching for authors named "Florian Rabe" – sorted by Relevance.
-
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

