Efficient execution in an automated reasoning environment.
Saved in:
| Title: | Efficient execution in an automated reasoning environment. |
|---|---|
| Authors: | DAVID A. GREVE1, MATT KAUFMANN2, PANAGIOTIS MANOLIOS3, J STROTHER MOORE2, SANDIP RAY2, JOS? LUIS RUIZ-REINA4, ROB SUMNERS5, DARON VROON3, MATTHEW WILDING1 |
| Source: | Journal of Functional Programming. Jan2008, Vol. 18 Issue 1, p15-46. 32p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
