CerCo: Certified Complexity

  • 2 Conference contribution
  • 1 Article
Filter
Conference contribution

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, p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 8552).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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, p. 417-421 5 p. (Lecture Notes in Computer Science; vol. 7362).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution