Showing 1 - 1 results of 1 for search 'Roy Dyckhoff', query time: 0.02s Refine Results
  1. 1
    A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

    A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems by Stéphane Jean Eric Lengrand, Roy Dyckhoff, James McKinna

    Published 2011-03-01
    Get full text
    Article

Search Tools: