Search the dblp DataBase

Publications of Author

1. Florian Rabe
   First-Order Logic with Dependent Types. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:377-391 [Conf]
   
2. 
   Notations for Living Mathematical Documents. [Citation Graph (, )][DBLP]
   
   
3. 
   Towards MKM in the Large: Modular Representation and Scalable Software Architecture. [Citation Graph (, )][DBLP]
   
   
4. 
   THF0 - The Core of the TPTP Language for Higher-Order Logic. [Citation Graph (, )][DBLP]
   
   
5. 
   Evaluation of Systems for Higher-order Logic (ESHOL). [Citation Graph (, )][DBLP]
   
   
6. 
   Publishing Math Lecture Notes as Linked Data. [Citation Graph (, )][DBLP]
   
   
7. 
   An Exchange Format for Modular Knowledge. [Citation Graph (, )][DBLP]
   
   
8. 
   Integrating Web Services into Active Mathematical Documents. [Citation Graph (, )][DBLP]
   
   
9. 
   Kripke Semantics for Martin-Löf's Extensional Type Theory. [Citation Graph (, )][DBLP]
   
   
10. 
    Translating a Dependently-Typed Logic to First-Order Logic. [Citation Graph (, )][DBLP]
    
    
11. 
    Flyspeck in a Semantic Wiki. [Citation Graph (, )][DBLP]
    
    
12. 
    Publishing Math Lecture Notes as Linked Data [Citation Graph (, )][DBLP]
    
    
13. 
    Towards MKM in the Large: Modular Representation and Scalable Software Architecture [Citation Graph (, )][DBLP]
    
    
14. 
    Representing Model Theory in a Type-Theoretical Logical Framework. [Citation Graph (, )][DBLP]