Search Results - "MATTHEW WILDING"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Efficient execution in an automated reasoning environment.

    Authors: DAVID A. GREVE MATT KAUFMANN PANAGIOTIS MANOLIOS et al.

    Source: Journal of Functional Programming; Jan2008, Vol. 18 Issue 1, p15-46, 32p

    PDF Full Text
    Save to List

Search Tools: