Showing 1 - 2 results of 2 for search 'Femke van Raamsdonk', query time: 0.02s Refine Results
  1. 1
    Dynamic Dependency Pairs for Algebraic Functional Systems

    Dynamic Dependency Pairs for Algebraic Functional Systems by Cynthia Kop, Femke van Raamsdonk

    Published 2012-06-01
    Get full text
    Article
  2. 2
    Teaching logic using a state-of-art proof assistant

    Teaching logic using a state-of-art proof assistant by Maxim Hendriks, Cezary Kaliszyk, Femke van Raamsdonk, Freek Wiedijk

    Published 2010-06-01
    Get full text
    Article

Search Tools: