Diagram techniques for confluence

1998

Information and Computation , Volume 141 - Issue 2 p. 172- 204

Additional Metadata
MSC	Grammars and rewriting systems (msc 68Q42), Metamathematics of constructive systems (msc 03F50)
Publisher	Academic Press
Journal	Information and Computation
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	Bezem, M. A., Klop, J. W.& van Oostrom, V. (1998). Diagram techniques for confluence. Information and Computation, 141(2), 172–204.

Publication