The following pages link to Florian Rabe (Q263102):
Displaying 6 items.
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- Project Abstract: Logic Atlas and Integrator (LATIN) (Q5200129) (← links)
- Lax Theory Morphisms (Q5277906) (← links)
