MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Confluence by Decreasing Diagrams." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Confluence by Decreasing Diagrams
by Vincent Van Oostrom — 1994 — Theoretical Computer Science
…Confluence by Decreasing Diagrams Vincent van Oostrom Department of Mathematics and Computer…
Cited by 7 (5 self) – Add To MetaCart

A Geometric Proof of Confluence by Decreasing Diagrams
by Jan Willem Klop, Vincent van Oostrom, Roel de Vrijer, Jan Willem, Klop Vincent, Oostrom Roel Vrijer
…A Geometric Proof of Confluence by Decreasing Diagrams Jan Willem Klop Vincent van Oostrom Roel de…
Cited by 2 (2 self) – Add To MetaCart

SEN-R0007 March 31, 2000
by Report Sen-R Issn, J. W. Klop, V. Van Oostrom, R. De Vrijer, Mathematisch Centrum (smc, The Dutch Foundation, Jan Willem Klop, Vincent Van Oostrom, Roel De Vrijer — 2000 — Journal of Logic and Computation
…Centrum voor Wiskunde en Informatica A geometric proof of confluence by decreasing diagrams J…
Add To MetaCart

Decreasing Diagrams Converted
by Vincent Van Oostrom
… Introduction The decreasing diagrams technique [1,2] is a method to reduce the problem of showing confluence…
Cited by 1 (1 self) – Add To MetaCart

Modularity of Confluence Constructed
by Vincent Van Oostrom
… to the textbooks [5,4] for this and in-depth treatments of the confluence by decreasing diagrams techique…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB