Publications
Table of Contents
Conference and Workshop Contributions
- 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. ¶
Theses
- Alin Iacob. Towards Project-Based Workflows in Twelf; Master's Thesis, Jacobs University Bremen August 2011. ¶
- Alin Iacob. Reasoning about Theory Morphisms; Bachelor's Thesis, Jacobs University Bremen 2009. ¶
(last regeneration: 2012-05-22+02:00)