Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts
| Editors: | MISSING
| Book#: | MISSING
| Publisher: | MISSING
| Volume: | MISSING
| Pages: | MISSING
| |
Informatics Series Report #04 | |
Title: | Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts |
---|---|
Authors: | Dennis,L; Bundy,A; Green,I |
Date: | 1999 |
Presented: | |
Keywords: |