Publikationsansicht

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

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.7811
Quelle	http://ftp.cwi.nl/CWIreports/SEN/SEN-R9801.pdf
Mitarbeiter	CiteSeerX
Archiv	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
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.35.425, 10.1.1.53.6428, 10.1.1.36.5386