Feryal Fulya Horozal

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