The following pages link to Florian Rabe (Q263102):
Displayed 17 items.
- Knowledge-Based Interoperability for Mathematical Software Systems (Q4628490) (← links)
- Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases (Q4628493) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge (Q5195275) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- Combining Source, Content, Presentation, Narration, and Relational Representation (Q5200120) (← links)
- Project Abstract: Logic Atlas and Integrator (LATIN) (Q5200129) (← links)
- Canonical Selection of Colimits (Q5208507) (← links)
- Lax Theory Morphisms (Q5277906) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Flexary Operators for Formalized Mathematics (Q5495932) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
- Notations for Living Mathematical Documents (Q5505528) (← links)
- (Q6079227) (← links)
- Morphism equality in theory graphs (Q6118829) (← links)
- Extracting theory graphs from Aldor libraries (Q6118849) (← links)
- Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint (Q6437857) (← links)