Publication View

ABSTRACT Bisimilarity in Term Graph Rewriting (1998)

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=10.1.1.95.7811
Source	http://ftp.cwi.nl/CWIreports/SEN/SEN-R9801.pdf
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	1991 Computing Reviews Classi�cation System, F.1.1, F.4.1, F.4.2 Keywords and Phrases, term graph rewriting, bisimilarity, con�uence, Church-Rosser property
Type	text
Language	English
Relation	10.1.1.35.425, 10.1.1.53.6428, 10.1.1.36.5386