Femke van Raamsdonk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1994–2008
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | LPAR | A Higher-Order Iterative Path Ordering. | Cynthia Kop, Femke van Raamsdonk |
| 2000 | FOSSACS | Constructor Subtyping in the Calculus of Inductive Constructions. | Gilles Barthe, Femke van Raamsdonk |
| 1999 | ICLP | Logic Programming with Requests. | Sandro Etalle, Femke van Raamsdonk |
| 1998 | ICLP | Beyond Success and Failure. | Sandro Etalle, Femke van Raamsdonk |
| 1997 | ICLP | Translating Logic Programs into Conditional Rewriting Systems. | Femke van Raamsdonk |
| 1994 | LFCS | Weak Orthogonality Implies Confluence: The Higher Order Case. | Vincent van Oostrom, Femke van Raamsdonk |