Fulya Horozal

Available identifiers

zbMath Open horozal.fulyaMaRDI QIDQ654912

List of research outcomes

Publication	Date of Publication	Type
Formal Logic Definitions for Interchange Languages	2015-11-20	Paper
Flexary Operators for Formalized Mathematics	2014-08-07	Paper
Representing Model Theory in a Type-Theoretical Logical Framework	2014-07-23	Paper
Compiling Logics	2013-09-13	Paper
Extending MKM Formats at the Statement Level	2012-09-07	Paper
A Proof Theoretic Interpretation of Model Theoretic Hiding	2012-06-08	Paper
Towards Logical Frameworks in the Heterogeneous Tool Set Hets	2012-06-08	Paper
Representing model theory in a type-theoretical logical framework	2011-12-23	Paper
Project Abstract: Logic Atlas and Integrator (LATIN)	2011-07-29	Paper
Combining Source, Content, Presentation, Narration, and Relational Representation	2011-07-29	Paper

Research outcomes over time

This page was built for person: Fulya Horozal