2008 |
4 | EE | Harrie Jan Sander Bruggink,
Barbara König:
On the Recognizability of Arrow and Graph Languages.
ICGT 2008: 336-350 |
3 | EE | Harrie Jan Sander Bruggink:
Towards a Systematic Method for Proving Termination of Graph Transformation Systems.
Electr. Notes Theor. Comput. Sci. 213(1): 23-38 (2008) |
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 |