Search Results - Green, Ian

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    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
  2. 2
    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: