CerCo: Certified Complexity

Search results

  • 2014

    Certified Complexity (CerCo)

    Amadio, R., Ayache, N., Bobot, F., Boender, J., Campbell, B., Garnier, I., Madet, A., McKinna, J., Mulligan, D., Piccolo, M., Pollack, R., Régis-Giannas, Y., Sacerdoti Coen, C., Stark, I. & Tranquilli, P., 2014, Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers from the Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013. Springer International Publishing, p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 8552).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2012

    A Web Interface for Matita

    Asperti, A. & Ricciotti, W., 2012, Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Springer Berlin Heidelberg, p. 417-421 5 p. (Lecture Notes in Computer Science; vol. 7362).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2011

    Certified Complexity

    Armadio, R., Asperti, A., Ayache, N., Campbell, B., Mulligan, D., Pollack, R., Regis-Gianas, Y., Coen, C. S. & Stark, I., 2011, In: Procedia Computer Science. 7, p. 175-177 3 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File