Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs
Paper i proceeding, 2012
Författare
Ana Bove
Chalmers, Data- och informationsteknik, Datavetenskap
Peter Dybjer
Chalmers, Data- och informationsteknik, Datavetenskap
Andrés Sicard-Ramírez
Universidad EAFIT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 7213 LNCS 104-118978-3-642-28728-2 (ISBN)
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1007/978-3-642-28729-9_7
ISBN
978-3-642-28728-2