Date: 2015-05-06 07:44:21Software engineering Theoretical computer science Automated theorem proving Mathematics Logic in computer science Functional languages Formal methods Reasoning Satisfiability modulo theories Rippling Automated reasoning IP | | TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se AbAdd to Reading ListSource URL: www.cse.chalmers.seDownload Document from Source Website File Size: 167,38 KBShare Document on Facebook
|