Searching for "A Proof Tool for Reasoning About Functional Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

A Proof Tool for Reasoning about Functional Programs
by Graham Collins — 1996 — In Proc. 1996 International Workshop on Higher Order Logic Theorem Proving, Lecture Notes in Computer Science 1125
…A Proof Tool for Reasoning about Functional Programs Graham Collins Department of Computing…
Cited by 11 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB