Efficient execution in an automated reasoning environment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding. Efficient execution in an automated reasoning environment. Journal of Functional Programming, 18(1):15-46, 2008. [doi]

This author has not been identified. Look up 'David A. Greve' in GoogleThis author has not been identified. Look up 'Matt Kaufmann' in GoogleThis author has not been identified. Look up 'Panagiotis Manolios' in GoogleThis author has not been identified. Look up 'J. Strother Moore' in GoogleThis author has not been identified. Look up 'Sandip Ray' in GoogleThis author has not been identified. Look up 'José-Luis Ruiz-Reina' in GoogleThis author has not been identified. Look up 'Rob Sumners' in GoogleThis author has not been identified. Look up 'Daron Vroon' in GoogleThis author has not been identified. Look up 'Matthew Wilding' in Google

runs on WebDSL