Femke Van Raamsdonk

Femke Van Raamsdonk

VU University of Amsterdam - Amsterdam / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 1802432
Vrije Universiteit Amsterdam
person_outline Femke Van Raamsdonk's MOST POPULAR ARTICLES
1-) Combinatory reduction systems: introduction and surveyJW Klop, V Van Oostrom, F Van RaamsdonkTheoretical computer science 121 (1-2), 279-308, 19933861993
2-) Confluence and Normalisation of Higher-Order RewritingF van Raamsdonk1471996
3-) Weak orthogonality implies confluence: the higher-order caseV Oostrom, F RaamsdonkInternational Symposium on Logical Foundations of Computer Science, 379-392, 1994911994
4-) Perpetual Reductions inλ-CalculusF van Raamsdonk, P Severi, MHB Sørensen, H XiInformation and Computation 149 (2), 173-225, 1999941999
5-) Abstract logical model checking of infinite-state systems using narrowingK Bae, S Escobar, J Meseguer24th International Conference on Rewriting Techniques and Applications (RTA …, 2013922013