Search Results - McCune, William

William McCune

William Walker McCune (December 17, 1953 – May 2, 2011) was an American computer scientist and logician working in the fields of automated reasoning, algebra, logic, and formal methods. Provided by Wikipedia
  • 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: