author = { Bahr, Patrick Patrick Bahr },

title = { Modes of Convergence for Term Graph Rewriting },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { partial order , term graphs , metric , infinitary rewriting , graph rewriting },

year = {2011},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }