The following pages link to Florian Rabe (Q263102):
Displayed 50 items.
- The future of logic: foundation-independence (Q263104) (← links)
- A scalable module system (Q391632) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- Automatically finding theory morphisms for knowledge management (Q1798969) (← links)
- Theories as types (Q1799118) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Logic-independent proof search in logical frameworks (short paper) (Q2096460) (← links)
- A new export of the Mizar mathematical library (Q2128826) (← links)
- A language with type-dependent equality (Q2128827) (← links)
- Structuring theories with implicit morphisms (Q2185893) (← links)
- Towards a heterogeneous query language for mathematical knowledge (Q2219379) (← links)
- A survey of languages for formalizing mathematics (Q2219386) (← links)
- Representing structural language features in formal meta-languages (Q2219401) (← links)
- TGView3D: a system for 3-dimensional visualization of theory graphs (Q2219412) (← links)
- Structure-preserving diagram operators (Q2237343) (← links)
- Towards a unified mathematical data infrastructure: database and interface generation (Q2287896) (← links)
- Relational data across mathematical libraries (Q2287899) (← links)
- The Coq library as a theory graph (Q2287907) (← links)
- MMTTeX: connecting content and narration-oriented document formats (Q2287910) (← links)
- Diagram combinators in MMT (Q2287911) (← links)
- Integrating semantic mathematical documents and dynamic notebooks (Q2287923) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- Morphism axioms (Q2402279) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- A Universal Machine for Biform Theory Graphs (Q2843007) (← links)
- The MMT API: A Generic MKM System (Q2843035) (← links)
- Compiling Logics (Q2848875) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- Extending MKM Formats at the Statement Level (Q2907314) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
- Management of Change in Declarative Languages (Q2907332) (← links)
- Logical relations for a logical framework (Q2946721) (← links)
- Formalising foundations of mathematics (Q3094180) (← links)
- How to identify, translate and combine logics? (Q3133182) (← links)
- Translating a Dependently-Typed Logic to First-Order Logic (Q3184740) (← links)
- Kripke Semantics for Martin-L\"of's Extensional Type Theory (Q3224684) (← links)
- Generic Literals (Q3453109) (← links)
- Formal Logic Definitions for Interchange Languages (Q3453113) (← links)
- THF0 – The Core of the TPTP Language for Higher-Order Logic (Q3541725) (← links)
- Towards MKM in the Large: Modular Representation and Scalable Software Architecture (Q3582723) (← links)
- First-Order Logic with Dependent Types (Q3613421) (← links)
- Kripke Semantics for Martin-Löf’s Extensional Type Theory (Q3637199) (← links)
- Integrating Web Services into Active Mathematical Documents (Q3637285) (← links)
- A Modular Type Reconstruction Algorithm (Q4617969) (← links)