Publicacions en col·laboració amb investigadors/es de University of Innsbruck (1)

2008

  1. A mechanized proof of the Basic Perturbation Lemma

    Journal of Automated Reasoning, Vol. 40, Núm. 4, pp. 271-292