Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts

✍ Scribed by L.A. Dennis; A. Bundy; I. Green

• Book ID: 110379832
• Publisher: Springer Netherlands
• Year: 2000
• Tongue: English
• Weight: 187 KB
• Volume: 29
• Category: Article
• ISSN: 1012-2443
• DOI: 10.1023/a:1018940332714