date_range Duración do 01 de outubro de 2006 ao 30 de setembro de 2009 (36 meses)
euro 21.780,00 EUR

De ámbito Nacional.

Investigadores/as

Publicacións relacionadas co proxecto (12)

Mostrar por tipoloxía

2009

  1. Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

    Lectures Notes in Computer Science: Intelligent Computer Mathematics16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings

  2. Modelling differential structures in proof assistants: The graded case

    Lecture Notes in Computer Science

2007

  1. Formal Modelling of a Coordination System: from Practice to Theory, and back again

    Lecture Notes in Computer Science, 2007, Volume 4457

  2. Object Oriented Institutions to Specify Symbolic Computation System

    RAIRO - Informatique Théorique et Applications

  3. Executing in Common Lisp, Proving in ACL2.

    Lecture Notes in Computer Science

  4. Formal Reasoning on a Web Coordination System

    Lecture Notes in Computational Science and Engineering

2006

  1. Modeling Inheritance as coercion in the Kenzo System.

    Journal of Universal Computer Science