Femke van Raamsdonk

Publication Activity (10 Years)

Years Active: 1993-2012
Publications (10 Years): 0

Top Topics

Dynamic Constraints

Computing Systems

Social Networks

Top Venues

Log. Methods Comput. Sci.

Publications

Cynthia Kop, Femke van Raamsdonk
Dynamic Dependency Pairs for Algebraic Functional Systems Log. Methods Comput. Sci. 8 (2) (2012)
Cynthia Kop, Femke van Raamsdonk
Higher Order Dependency Pairs for Algebraic Functional Systems. RTA (2011)
Femke van Raamsdonk
Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN 9780521898850. Theory Pract. Log. Program. 9 (2) (2009)
Cynthia Kop, Femke van Raamsdonk
A Higher-Order Iterative Path Ordering. LPAR (2008)
Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
Reduction Strategies and Acyclicity. Rewriting, Computation and Proof (2007)
Femke van Raamsdonk
Book review: Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0. Theory Pract. Log. Program. 4 (4) (2004)
Femke van Raamsdonk, Paula Severi
Eliminating Proofs from Programs. Electron. Notes Theor. Comput. Sci. 70 (2) (2002)
Femke van Raamsdonk
Book Review - Logic in Computer Science: Modelling and Reasoning about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press, 2000, ISBN 0521652006, (hardback), ISBN 0521656028, (paperback). Theory Pract. Log. Program. 1 (1) (2001)
Femke van Raamsdonk
On Termination of Higher-Order Rewriting. RTA (2001)
Gilles Barthe, Femke van Raamsdonk
Constructor Subtyping in the Calculus of Inductive Constructions. FoSSaCS (2000)
Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi
Perpetual Reductions in Lambda-Calculus. Inf. Comput. 149 (2) (1999)
Sandro Etalle, Femke van Raamsdonk
Logic Programming with Requests. ICLP (1999)
Femke van Raamsdonk
Higher-Order Rewriting. RTA (1999)
Sandro Etalle, Femke van Raamsdonk
Beyond Success and Failure. IJCSLP (1998)
Femke van Raamsdonk
Translating Logic Programs into Conditional Rewriting Systems. ICLP (1997)
Femke van Raamsdonk
Outermost-Fair Rewriting. TLCA (1997)
Gilles Barthe, Femke van Raamsdonk
Termination of Algebraic Type Systems: The Syntactic Approach. ALP/HOA (1997)
Vincent van Oostrom, Femke van Raamsdonk
Weak Orthogonality Implies Confluence: The Higher Order Case. LFCS (1994)
Femke van Raamsdonk
Confluence and Superdevelopments. RTA (1993)
Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
Combinatory Reduction Systems: Introduction and Survey. Theor. Comput. Sci. 121 (1&2) (1993)
Vincent van Oostrom, Femke van Raamsdonk
Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems. HOA (1993)