Publikationsansicht

A geometric proof of confluence by decreasing diagrams (2000)

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=?doi=10.1.1.33.6006
Quelle	http://www.cwi.nl/ftp/CWIreports/SEN/SEN-R0007.ps.Z
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	abstract rewriting, tiling
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.35.425, 10.1.1.45.2193, 10.1.1.37.9386, 10.1.1.103.5238, 10.1.1.110.3814