Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 2.

Article

Dennis, Louise Abigail, Bundy, Alan and Green, Ian (2000) The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction. Annals of Mathematics and Artificial Intelligence, 29 (1-4). pp. 99-138.

Conference or Workshop Item

Dennis, Louise Abigail, Bundy, Alan and Green, Ian (1999) Using a Generalisation Critic to find Bisimulations for Coinductive Proofs. In: 14th International Conference on Automated Deduction (CADE-14), 1999, Townsville, Australia.

This list was generated on Thu Nov 21 04:27:10 2024 UTC.