The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Femke van Raamsdonk: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gilles Barthe, Femke van Raamsdonk
    Termination of Algebraic Type Systems: The Syntactic Approach. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:174-193 [Conf]
  2. Gilles Barthe, Femke van Raamsdonk
    Constructor Subtyping in the Calculus of Inductive Constructions. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:17-34 [Conf]
  3. Vincent van Oostrom, Femke van Raamsdonk
    Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:276-304 [Conf]
  4. Sandro Etalle, Femke van Raamsdonk
    Beyond Success and Failure. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:190-205 [Conf]
  5. Sandro Etalle, Femke van Raamsdonk
    Logic Programming with Requests. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:558-572 [Conf]
  6. Femke van Raamsdonk
    Translating Logic Programs into Conditional Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:168-182 [Conf]
  7. Vincent van Oostrom, Femke van Raamsdonk
    Weak Orthogonality Implies Confluence: The Higher Order Case. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:379-392 [Conf]
  8. Femke van Raamsdonk
    On Termination of Higher-Order Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 2001, pp:261-275 [Conf]
  9. Femke van Raamsdonk
    Confluence and Superdevelopments. [Citation Graph (0, 0)][DBLP]
    RTA, 1993, pp:168-182 [Conf]
  10. Femke van Raamsdonk
    Higher-Order Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:220-239 [Conf]
  11. Femke van Raamsdonk
    Outermost-Fair Rewriting. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:284-299 [Conf]
  12. Femke van Raamsdonk, Paula Severi
    Eliminating Proofs from Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  13. Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi
    Perpetual Reductions in Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:149, n:2, pp:173-225 [Journal]
  14. Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
    Combinatory Reduction Systems: Introduction and Survey. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:121, n:1&2, pp:279-308 [Journal]
  15. Femke van Raamsdonk
    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). [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:1, pp:123-125 [Journal]
  16. Femke van Raamsdonk
    Book review: Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:4, pp:539-541 [Journal]
  17. Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
    Reduction Strategies and Acyclicity. [Citation Graph (0, 0)][DBLP]
    Rewriting, Computation and Proof, 2007, pp:89-112 [Conf]

  18. A Higher-Order Iterative Path Ordering. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002