Search Results - Stephen A. Cook

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Formal Theories for Linear Algebra by Stephen A Cook, Lila A Fontes

    Published in Logical Methods in Computer Science (2012-03-01)
    Get full text
    Article


  2. 2

    Formalizing Randomized Matching Algorithms by Dai Tri Man Le, Stephen A. Cook

    Published in Logical Methods in Computer Science (2012-08-01)
    Get full text
    Article


Search Tools: