Theory Exploration and Inductive Theorem Proving
Licentiatavhandling, 2016
Författare
Dan Rosén
Chalmers, Data- och informationsteknik, Programvaruteknik
Automating Inductive Proofs using Theory Exploration
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 7898(2013)p. 392-406
Paper i proceeding
TIP: Tons of Inductive Problems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 9150(2015)p. 332-336
Paper i proceeding
Hipster: Integrating theory exploration in a proof assistant
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 8543(2014)p. 108-122
Paper i proceeding
Tip: Tools for inductive provers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 9450(2015)p. 219-232
Paper i proceeding
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Programvaruteknik
ED, Rännvägen 6, Chalmers Tekniska Högskola
Opponent: Jasmin Blanchette