Fulya Horozal

Table of Contents

• Conference and Workshop Contributions
• Theses
• Unpublished

Conference and Workshop Contributions

1. Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe. Project Abstract: Logic Atlas and Integrator (LATIN); pp. 289–291 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
2. Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe. Combining Source, Content, Presentation, Narration, and Relational Representation; pp. 212–227 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
3. Stefania Dumbrava, Fulya Horozal, Kristina Sojakova. A Case Study on Formalizing Algebra in a Module System; pp. 11–18 in Florian Rabe, Carsten Schürmann, eds.: Workshop on Modules and Libraries for Proof Assistants; ACM International Conference Proceeding Series (429), 2009. ¶
4. Feryal Fulya Horozal, Chad E. Brown. Formal Representation of Mathematics in a Dependently Typed Set Theory; pp. 265–279 in Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger, eds.: Towards Mechanized Mathematical Assistants. MKM/Calculemus; LNAI 4573, Springer Verlag 2007. ¶

Theses

1. Feryal Fulya Horozal. Towards a Natural Representation of Mathematics in Proof Assistants; Master's Thesis, Saarland University 2007. ¶

Unpublished

1. Fulya Horozal, Michael Kohlhase, Florian Rabe, Kristina Sojakova. Towards an Atlas of Logics; , 2010. ¶

(last regeneration: 2012-02-07+01:00)