University of Innsbruck-ko ikertzaileekin lankidetzan egindako argitalpenak (2)

2019

  1. The Termination and Complexity Competition

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. Termination competition (TermCOMP 2015)

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)