Efficient execution in an automated reasoning environment (2006)

by David A. Greve , Matt Kaufmann , Panagiotis Manolios , J Strother Moore S , Rob Sumners , Daron Vroon , Matthew Wilding
Venue:Journal of Functional Programming
Citations:8 - 4 self

Document Versions

Efficient execution in an automated reasoning environment –David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore S, Rob Sumners, Daron Vroon, Matthew Wilding — 2006 — Journal of Functional Programming
Efficient execution in an automated reasoning environment –David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore S, Rob Sumners, Daron Vroon, Matthew Wilding — 2006 — Journal of Functional Programming
Efficient execution in an automated reasoning environment –David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore S, Rob Sumners, Daron Vroon, Matthew Wilding — 2006 — Journal of Functional Programming