Search Results - McCune, William

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    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
    Other Authors: “…McCune, William…”
    Get full text

Search Tools: