Search Results - Bundy, Alan

  • 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: