Femke van Raamsdonk
Femke van Raamsdonk
Verified email at vu.nl - Homepage
Title
Cited by
Cited by
Year
Combinatory reduction systems: introduction and survey
JW Klop, V Van Oostrom, F Van Raamsdonk
Theoretical computer science 121 (1-2), 279-308, 1993
3701993
Confluence and Normalisation of Higher-Order Rewriting
F van Raamsdonk
1341996
Perpetual Reductions inė-Calculus
F van Raamsdonk, P Severi, MHB Sørensen, H Xi
Information and Computation 149 (2), 173-225, 1999
861999
Weak orthogonality implies confluence: the higher-order case
V Van Oostrom, F Van Raamsdonk
International Symposium on Logical Foundations of Computer Science, 379-392, 1994
831994
Comparing combinatory reduction systems and higher-order rewrite systems
V Van Oostrom, F Van Raamsdonk
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993
791993
Abstract logical model checking of infinite-state systems using narrowing
K Bae, S Escobar, J Meseguer
24th International Conference on Rewriting Techniques and Applications (RTA …, 2013
642013
On normalisation
F Van Raamsdonk, P Severi
Centrum voor Wiskunde en Informatica, 1995
481995
Higher-order rewriting
F Van Raamsdonk
International Conference on Rewriting Techniques and Applications, 220-239, 1999
37*1999
Teaching logic using a state-of-the-art proof assistant.
M Hendriks, C Kaliszyk, F Van Raamsdonk, F Wiedijk
Acta Didactica Napocensia 3 (2), 35-48, 2010
342010
Confluence and superdevelopments
F Van Raamsdonk
International Conference on Rewriting Techniques and Applications, 168-182, 1993
341993
On termination of higher-order rewriting
F van Raamsdonk
International Conference on Rewriting Techniques and Applications, 261-275, 2001
302001
Higher order dependency pairs for algebraic functional systems
C Kop, F Van Raamsdonk
22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011
222011
Translating Logic Programs into Conditional Rewriting Systems.
F Van Raamsdonk
ICLP 97, 168-182, 1997
211997
Open dielectric branes
M Van Raamsdonk
Journal of High Energy Physics 2002 (02), 001, 2002
172002
Constructor subtyping in the calculus of inductive constructions
G Barthe, F Van Raamsdonk
International Conference on Foundations of Software Science and Computation …, 2000
172000
Dynamic dependency pairs for algebraic functional systems
C Kop, F van Raamsdonk
arXiv preprint arXiv:1205.2519, 2012
162012
A higher-order iterative path ordering
C Kop, F van Raamsdonk
International Conference on Logic for Programming Artificial Intelligence …, 2008
122008
Teaching logic using a state-of-the-art proof assistant
CS Kaliszyk, F Wiedijk, M Hendriks, F Raamsdonk
Paris, France: CNAM, 2007
122007
Deduction using the ProofWeb system
CS Kaliszyk, F Raamsdonk, F Wiedijk, H Wupper, M Hendriks, R Vrijer
onbekend: Institute for Computing and Information Sciences, 2008
102008
Outermost-fair rewriting
F Van Raamsdonk
International Conference on Typed Lambda Calculi and Applications, 284-299, 1997
101997
The system can't perform the operation now. Try again later.
Articles 1–20