CJO - Abstract - Efficient execution in an automated reasoning environment

Cambridge Journals Online

Cambridge Journals Online
Skip to content
  • Volume 18
  • Issue 01 - Jan 2008
  • Add to Basket £30.00 / $45.00
  • Request Permissions
  • Cited by Articles (CrossRef)
  • Cited by Articles (Google Scholar)
  • Citation Alert
  • Go to Next Abstract in TOC
  • Go to Previous Abstract in TOC
  • Blog this Article close
    Copy and paste this code to insert a reference to this article in your blog or online community profile:

    Highlight All
    The code will display like this:
    Efficient execution in an automated reasoning environment
    DAVID A. GREVE, MATT KAUFMANN, PANAGIOTIS MANOLIOS, J STROTHER MOORE, SANDIP RAY, JOSÉ LUIS RUIZ-REINA, ROB SUMNERS, DARON VROON and MATTHEW WILDING (2008).
    Journal of Functional Programming, Volume 18, Issue 01, January 2008 pp 15-46 http://journals.cambridge.org/action/displayAbstract?aid=1457864

    Blog this Article

Journal of Functional Programming (2008), 18 : 15-46 Cambridge University Press
doi:10.1017/S0956796807006338 (About doi)
Published online by Cambridge University Press 23 Apr 2007
 
back to top
Cambridge University Press