Publicaciones en colaboración con investigadores/as 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