H. J. Sander Bruggink,
A Proof of Finite Family Develepments for
Higher-Order Rewriting using a Prefix Property,
Proceedings of RTA'06, Springer 2006,
Verschijnt in 2006.
Conferentie-versie: pdf.
Uitgebreide versie:
(nr. 245 in de LGPS):
pdf.
H. J. Sander Bruggink,
Residuals in Higher-Order Rewriting,
Proceedings of RTA'03, LNCS 2706, Springer 2003.
Conferentie-versie: pdf,
ps.gz.
Uitgebreide versie met correcties
(nr 221 in de LGPS):
pdf,
ps.gz.
Diversen
H. J. Sander Bruggink,
Discourse Representation by Hypergraphs,
afstudeerscriptie,
nr. 5 in de CKI Scriptieserie,
2001.
Download: pdf.
