Harrie Jan Sander Bruggink

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006

2 EE Harrie Jan Sander Bruggink: A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property. RTA 2006: 372-386

2003

1 EE Harrie Jan Sander Bruggink: Residuals in Higher-Order Rewriting. RTA 2003: 123-137

2006
2	EE	Harrie Jan Sander Bruggink: A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property. RTA 2006: 372-386
2003
1	EE	Harrie Jan Sander Bruggink: Residuals in Higher-Order Rewriting. RTA 2003: 123-137