Browse by Authors and Editors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 3.

Dennis, Louise Abigail and Bundy, Alan (2002) A Comparison of two Proof Critics: Power vs. Robustness. In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, August 20-23, 2002, Hampton, VA, USA.

Dennis, Louise Abigail and 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.

Dennis, Louise Abigail and 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 Sat Oct 25 15:32:31 2014 IST.