Travelled to:1 × Spain
1 × USA
Collaborated with:∅
Talks about:rewrit (2) higher (2) order (2) properti (1) develop (1) residu (1) prefix (1) famili (1) proof (1) finit (1)
Person: Harrie Jan Sander Bruggink
DBLP: Bruggink:Harrie_Jan_Sander
Contributed to:
20062003Wrote 2 papers:
- RTA-2006-Bruggink #finite #higher-order #product line #proving #using
- A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property (HJSB), pp. 372–386.
- RTA-2003-Bruggink #higher-order
- Residuals in Higher-Order Rewriting (HJSB), pp. 123–137.