The following pages link to Fulya Horozal (Q654912):
Displaying 10 items.
- Representing model theory in a type-theoretical logical framework (Q654913) (← 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)
- Formal Logic Definitions for Interchange Languages (Q3453113) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- Combining Source, Content, Presentation, Narration, and Relational Representation (Q5200120) (← links)
- Project Abstract: Logic Atlas and Integrator (LATIN) (Q5200129) (← links)
- Flexary Operators for Formalized Mathematics (Q5495932) (← links)
