dblp.uni-trier.dewww.uni-trier.de

Harrie Jan Sander Bruggink

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Barbara König [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)