A geometric proof of confluence by decreasing diagrams
type: CreativeWork
type: Book
type: ProductModel
issued: 2000
about: p075636220
about: p075665506
author: p068413955
author: p185456138
contributor: p081437684
contributor: p073155276
language: en
is part of: p182590003
isbn: 9039324263
main entity of page: https://data.bibliotheken.nl/.well-known/genid/ccd8e3d5d7170c3988f06a0ee250ca13
number of pages: 22
label: A geometric proof of confluence by decreasing diagrams / Jan Willem Klop, Vincent van Oostrom, Roel de Vrijer