Feryal Fulya Horozal

According to our database, Feryal Fulya Horozal authored at least 11 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Formal Logic Definitions for Interchange Languages.

Feryal Fulya Horozal, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2014

A Framework for Defining Declarative Languages.

Feryal Fulya Horozal

PhD thesis, 2014

Flexary Operators for Formalized Mathematics.

Feryal Fulya Horozal, Florian Rabe, Michael Kohlhase

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2012

Compiling Logics.

Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Extending MKM Formats at the Statement Level.

Feryal Fulya Horozal, Michael Kohlhase, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Combining Source, Content, Presentation, Narration, and Relational Representation.

Feryal Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Project Abstract: Logic Atlas and Integrator (LATIN).

Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Towards Logical Frameworks in the Heterogeneous Tool Set Hets.

Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A Proof Theoretic Interpretation of Model Theoretic Hiding.

Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

2009

Representing Model Theory in a Type-Theoretical Logical Framework.

Feryal Fulya Horozal, Florian Rabe

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

2007

Formal Representation of Mathematics in a Dependently Typed Set Theory.

Feryal Fulya Horozal, Chad E. Brown

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007