Search Results - Bundy, Alan

Alan Bundy

Alan Bundy Alan Richard Bundy (born 18 May 1947) is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search. Provided by Wikipedia
  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    A Comparison of two Proof Critics: Power vs. Robustness

    A Comparison of two Proof Critics: Power vs. Robustness by Dennis, Louise Abigail, Bundy, Alan

    Published 2002
    Get full text
  2. 2
    The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction

    The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction by Dennis, Louise Abigail, Bundy, Alan, Green, Ian

    Published 2000
    Get full text
  3. 3
    Using a Generalisation Critic to find Bisimulations for Coinductive Proofs

    Using a Generalisation Critic to find Bisimulations for Coinductive Proofs by Dennis, Louise Abigail, Bundy, Alan, Green, Ian

    Published 1999
    Get full text

Search Tools: