Projects per year
|Number of pages||26|
|Journal||Electronic Proceedings in Theoretical Computer Science|
|Publication status||Published - 2013|
|Event||Proceedings of 10th International Workshop on User Interfaces for Theorem Provers - Bremen, Germany|
Duration: 11 Jul 2012 → 11 Jul 2012
- Interactive Theorem Proving, User Interfaces, Proof General, Coq, SSReﬂect, Machine Learning, Clustering.
FingerprintDive into the research topics of 'Machine learning in Proof General: interfacing interfaces'. Together they form a unique fingerprint.
- 1 Finished
Coalgebraic Logic Programming for Type Inference: Parallelism and Corecursion for New Generation of Programming Languages (Joint with the University of Bath)
1/09/13 → 31/01/17
- 1 Conference contribution
Heras, J. & Komendantskaya, E., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer , p. 354-358 5 p. (Lecture notes in computer science; vol. 7961).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution