 | 2008 |
|---|
| 4 |       | Harrie Jan Sander Bruggink,
Barbara König:
On the Recognizability of Arrow and Graph Languages.
ICGT 2008: 336-350 |
| 3 | | 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 | | Harrie Jan Sander Bruggink:
A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property.
RTA 2006: 372-386 |
| 2003 |
|---|
| 1 | | Harrie Jan Sander Bruggink:
Residuals in Higher-Order Rewriting.
RTA 2003: 123-137 |
