Feryal Fulya Horozal

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 1

Top Venues

CICM

AISC/MKM/Calculemus

WADT

Jacobs University (PHD)

Education History

Jacobs University

PHD

Publications

Feryal Fulya Horozal, Florian Rabe
Formal Logic Definitions for Interchange Languages. CICM (2015)
Feryal Fulya Horozal, Florian Rabe, Michael Kohlhase
Flexary Operators for Formalized Mathematics. CICM (2014)
Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe
Compiling Logics. WADT (2012)
Feryal Fulya Horozal, Michael Kohlhase, Florian Rabe
Extending MKM Formats at the Statement Level. AISC/MKM/Calculemus (2012)
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM (2011)
Feryal Fulya Horozal, Florian Rabe
Representing model theory in a type-theoretical logical framework. Theor. Comput. Sci. 412 (37) (2011)
Feryal Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe
Combining Source, Content, Presentation, Narration, and Relational Representation. Calculemus/MKM (2011)
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT (2010)
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT (2010)
Feryal Fulya Horozal, Florian Rabe
Representing Model Theory in a Type-Theoretical Logical Framework. LSFA (2009)
Feryal Fulya Horozal, Chad E. Brown
Formal Representation of Mathematics in a Dependently Typed Set Theory. Calculemus/MKM (2007)

Feryal Fulya Horozal.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Feryal Fulya Horozal