F. Raamsdonk
发表
F. Raamsdonk,
1996
.
J. Jouannaud,
F. Raamsdonk,
A. Rubio,
2004
.
Paula Severi,
Femke van Raamsdonk,
P. Severi,
1995
.
Paula Severi,
Femke van Raamsdonk,
Bryan So,
1999
.
F. Raamsdonk,
2016
.
F. Raamsdonk,
Cynthia Kop,
2008
.
Gábor Maróti,
Sandro Etalle,
Alexander Schrijver,
2002
.
Femke van Raamsdonk,
F. Raamsdonk,
1997,
TLCA.
Vincent van Oostrom,
Jan Willem Klop,
Femke van Raamsdonk,
1993,
Theor. Comput. Sci..
Vincent van Oostrom,
Aart Middeldorp,
Femke van Raamsdonk,
2005,
Processes, Terms and Cycles.
Femke van Raamsdonk,
F. Raamsdonk,
1999,
RTA.
Gilles Barthe,
Femke van Raamsdonk,
G. Barthe,
2000,
FoSSaCS.
Cezary Kaliszyk,
Freek Wiedijk,
Femke van Raamsdonk,
2007
.
Vincent van Oostrom,
Jan Willem Klop,
Femke van Raamsdonk,
2007,
Rewriting, Computation and Proof.
Cynthia Kop,
Femke van Raamsdonk,
F. Raamsdonk,
2008,
LPAR.
Gilles Barthe,
Femke van Raamsdonk,
G. Barthe,
1997,
ALP/HOA.
Vincent van Oostrom,
Jan Willem Klop,
Femke van Raamsdonk,
1993
.
Sandro Etalle,
Femke van Raamsdonk,
S. Etalle,
1999,
ICLP.
Vincent van Oostrom,
Femke van Raamsdonk,
F. Raamsdonk,
2011
.
Paula Severi,
Hongwei Xi,
Femke van Raamsdonk,
1999,
Inf. Comput..
Cynthia Kop,
Femke van Raamsdonk,
F. Raamsdonk,
2012,
Log. Methods Comput. Sci..
Vincent van Oostrom,
Femke van Raamsdonk,
F. Raamsdonk,
1993,
HOA.