A geometric proof of confluence by decreasing diagrams

2000

Journal of Logic and Computation , Volume 10 - Issue 3 p. 437- 460

Presented at the Type Theory and Term Rewriting, Glasgow

Additional Metadata
MSC	Grammars and rewriting systems (msc 68Q42)
Publisher	Oxford U.P.
Journal	Journal of Logic and Computation
Conference	Type Theory and Term Rewriting
Organisation	Specification and Analysis of Embedded Systems
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Klop, J. W., van Oostrom, V.& de Vrijer, R. (2000). A geometric proof of confluence by decreasing diagrams. Journal of Logic and Computation, 10(3), 437–460.

Additional Files
Publisher Version

Publication