MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Femke van Raamsdonk – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Outermost-Fair Rewriting
by Femke Van Raamsdonk — 1997 — In TLCA '97
…Outermost-Fair Rewriting Femke van Raamsdonk CWI, P.O. Box 94079, 1090 GB Amsterdam…
Cited by 1 (0 self) – Add To MetaCart

Higher-Order Rewriting
by Femke Van Raamsdonk — 1999 — 12th Int. Conf. on Rewriting Techniques and Applications, LNCS 2051
…Higher-Order Rewriting Femke van Raamsdonk Division of Mathematics and Computer Science Faculty…
Cited by 15 (1 self) – Add To MetaCart

Translating Logic Programs Into Conditional Rewriting Systems
by F. van Raamsdonk, Femke Van Raamsdonk — 1998 — Proceedings of the 14th International Conference on Logic Programming
… F. van Raamsdonk Probability, Networks and Algorithms (PNA) PNA-R9803 April 30, 1998 Report PNA…
Cited by 5 (0 self) – Add To MetaCart

Constructor subtyping in the Calculus of Inductive Constructions
by Gilles Barthe, Femke Van Raamsdonk — 2000 — Proceedings of FOSSACS'00, LNCS 1784
…Constructor subtyping in the Calculus of Inductive Constructions Gilles Barthe 12 and Femke van…
Cited by 5 (0 self) – Add To MetaCart

Termination of algebraic type systems: the syntactic approach
by Gilles Barthe, Femke van Raamsdonk — 1997 — Proceedings of ALP '97 - HOA '97, volume 1298 of Lecture Notes in Computer Science
…Termination of algebraic type systems: the syntactic approach Gilles Barthe and Femke van Raamsdonk…
Cited by 1 (1 self) – Add To MetaCart

On Normalisation
by Femke van Raamsdonk, Paula Severi
…On Normalisation Femke van Raamsdonk CWI P.O. Box 94079, 1090 GB Amsterdam The Netherlands femke…
Cited by 13 (2 self) – Add To MetaCart

Beyond Success and Failure
by Sandro Etalle, Femke Van Raamsdonk — 1998 — Joint International Conference and Symposium on Logic Programming
….O. Box 616, 6200 MD Maastricht, The Netherlands etalle@(email omitted); Femke van Raamsdonk CWI P.O. Box…
Cited by 2 (2 self) – Add To MetaCart

Comparing Combinatory Reduction Systems and Higher-Order Rewrite Systems
by Vincent Van Oostrom, Femke Van Raamsdonk — 1993
… and Femke van Raamsdonk Department of Mathematics and Computer Science, Vrije Universiteit, De Boelelaan…
Cited by 18 (3 self) – Add To MetaCart

Cs-R9545 1995
by Report Cs-R Issn, F. Van Raamsdonk, P. Severi, Issn -x, Femke Van Raamsdonk, Paula Severi — 1995 — Centrum voor Wiskunde en Informatica (CWI
…Centrum voor Wiskunde en Informatica REPORTRAPPORT On normalisation F. van Raamsdonk and P. Severi…
Add To MetaCart

Deduction using the ProofWeb system
by Cezary Kaliszyk, Femke Van Raamsdonk, Freek Wiedijk, Maxim Hendriks, Roel De Vrijer
…Deduction using the ProofWeb system Cezary Kaliszyk Femke van Raamsdonk Freek Wiedijk Hanno Wupper…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB