Searching for "Nominal Reasoning Techniques in Coq (Extended Abstract)." – 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.

Nominal Reasoning Techniques in Coq (Extended Abstract)
by Brian Aydemir, Aaron Bohannon, Stephanie Weirich
…Abstract LFMTP 2006 Nominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

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