Searching for "Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof
by L. A. Dennis, A. Bundy, I. Green — 2000 — RR0004 in the Informatics Report Series
… to Generate Witnesses for Coinduction from Divergent Proof Attempts L. A. Dennis A. Bundy I. Green…
Cited by 1 (1 self) – Add To MetaCart

Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof
by unknown authors
… of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts \Lambda L. A. Dennis…
Add To MetaCart

Showing 1 through 2.

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