Publikationen von Maksym Bortin

2010

  • Maksym Bortin; Christoph Lüth
    Structural Formal Development with Quotient Types in Isabelle/HOL.
    In: 10th International Conference on Artificial Intelligence and Symbolic Computation. International Conference on Artificial Intelligence and Symbolic Computation (AISC-2010), 10th, located at Intelligent Computer Mathematics 2010 (CICM 2010), July 5-10, Paris, France, Pages 34-48, Lecture Notes in Computer Science, Vol. 6167, Springer, 2010.

2006