Publication View

Bisimilarity in term graphs rewriting (2007)

Abstract

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.27.7324
Source	http://www.cwi.nl/ftp/CWIreports/SEN/SEN-R9801.ps.Z
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type	text
Language	English
Relation	10.1.1.42.8384, 10.1.1.36.5386, 10.1.1.57.7901, 10.1.1.103.5238, 10.1.1.84.2979