Conditional Lemma Discovery and Recursion Induction in Hipster.
Artikel i vetenskaplig tidskrift, 2015
Författare
Moa Johansson
Chalmers, Data- och informationsteknik, Programvaruteknik
Irene Lobo Valbuena
Chalmers, Data- och informationsteknik
Electronic Communications of the EASST
1863-2122 (eISSN)
Vol. 72Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Data- och informationsvetenskap
DOI
10.14279/tuj.eceasst.72.1009.1000