`Travelled to:`

1 × Belgium

1 × Canada

1 × France

1 × Germany

1 × Italy

1 × Serbia

1 × The Netherlands

1 × USA

2 × United Kingdom

`Collaborated with:`

∅ G.Barthe S.Etalle C.Kop

`Talks about:`

rewrit (4) system (3) higher (3) order (3) program (2) algebra (2) termin (2) logic (2) superdevelop (1) constructor (1)

## Person: Femke van Raamsdonk

### DBLP: Raamsdonk:Femke_van

### Facilitated 1 volumes:

### Contributed to:

### Wrote 10 papers:

- RTA-2011-KopR #algebra #dependence #functional #higher-order
- Higher Order Dependency Pairs for Algebraic Functional Systems (CK, FvR), pp. 203–218.
- RTA-2001-Raamsdonk #higher-order #on the #termination
- On Termination of Higher-Order Rewriting (FvR), pp. 261–275.
- FoSSaCS-2000-BartheR #calculus #induction #type system
- Constructor Subtyping in the Calculus of Inductive Constructions (GB, FvR), pp. 17–34.
- ICLP-1999-EtalleR #logic programming
- Logic Programming with Requests (SE, FvR), pp. 558–572.
- RTA-1999-Raamsdonk #higher-order
- Higher-Order Rewriting (FvR), pp. 220–239.
- JICSLP-1998-EtalleR
- Beyond Success and Failure (SE, FvR), pp. 190–205.
- ALP-1997-BartheR #algebra #approach #termination #type system
- Termination of Algebraic Type Systems: The Syntactic Approach (GB, FvR), pp. 174–193.
- ICLP-1997-Raamsdonk #logic programming #source code #term rewriting
- Translating Logic Programs into Conditional Rewriting Systems (FvR), pp. 168–182.
- TLCA-1997-Raamsdonk
- Outermost-Fair Rewriting (FvR), pp. 284–299.
- RTA-1993-Raamsdonk #confluence
- Confluence and Superdevelopments (FvR), pp. 168–182.