Femke van Raamsdonk

26 papers B 5Misc 1Journal 6Unranked 10
YearRankTypeTitle / Venue / Authors
2023 B ed.
8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, Rome, Italy, July 3-6, 2023
FSCD
Marco Gaboardi, Femke van Raamsdonk
2015 — ed.
Proceedings 8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014, Vienna, Austria, July 13, 2014.
TERMGRAPH
Aart Middeldorp, Femke van Raamsdonk
2013 — ed.
24th International Conference on Rewriting Techniques and Applications, RTA 2013, Eindhoven, The Netherlands, June 24-26, 2013
RTA
Femke van Raamsdonk
2012 J jnl
Dynamic Dependency Pairs for Algebraic Functional Systems
Log. Methods Comput. Sci.
Cynthia Kop, Femke van Raamsdonk
2011 — conf
Higher Order Dependency Pairs for Algebraic Functional Systems.
RTA
Cynthia Kop, Femke van Raamsdonk
2011 — ed.
Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011.
DCM
Elham Kashefi, Jean Krivine, Femke van Raamsdonk
2009 J jnl
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.
Femke van Raamsdonk
2008 B conf
A Higher-Order Iterative Path Ordering.
LPAR
Cynthia Kop, Femke van Raamsdonk
2007 — conf
Reduction Strategies and Acyclicity.
Rewriting, Computation and Proof
Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
2005 — ed.
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday
Processes, Terms and Cycles
Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer
2004 J jnl
Book review: Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0.
Theory Pract. Log. Program.
Femke van Raamsdonk
2002 — conf
Eliminating Proofs from Programs.
LFM
Femke van Raamsdonk, Paula Severi
2001 J jnl
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.
Femke van Raamsdonk
2001 — conf
On Termination of Higher-Order Rewriting.
RTA
Femke van Raamsdonk
2000 B conf
Constructor Subtyping in the Calculus of Inductive Constructions.
FoSSaCS
Gilles Barthe, Femke van Raamsdonk
1999 — conf
Higher-Order Rewriting.
RTA
Femke van Raamsdonk
1999 B conf
Logic Programming with Requests.
ICLP
Sandro Etalle, Femke van Raamsdonk
1999 J jnl
Perpetual Reductions in Lambda-Calculus.
Inf. Comput.
Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi
1998 — conf
Beyond Success and Failure.
IJCSLP
Sandro Etalle, Femke van Raamsdonk
1997 — conf
Outermost-Fair Rewriting.
TLCA
Femke van Raamsdonk
1997 — conf
Termination of Algebraic Type Systems: The Syntactic Approach.
ALP/HOA
Gilles Barthe, Femke van Raamsdonk
1997 B conf
Translating Logic Programs into Conditional Rewriting Systems.
ICLP
Femke van Raamsdonk
1994 Misc conf
Weak Orthogonality Implies Confluence: The Higher Order Case.
LFCS
Vincent van Oostrom, Femke van Raamsdonk
1993 J jnl
Combinatory Reduction Systems: Introduction and Survey.
Theor. Comput. Sci.
Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
1993 — conf
Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems.
HOA
Vincent van Oostrom, Femke van Raamsdonk
1993 — conf
Confluence and Superdevelopments.
RTA
Femke van Raamsdonk