Femke van Raamsdonk (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

19 Cynthia Kop, Femke van Raamsdonk: A Higher-Order Iterative Path Ordering. LPAR 2008: 697-711

Selection of 1 from 20 records - Femke van Raamsdonk has 10 coauthors