A geometric proof of confluence by decreasing diagrams
type: Book
type: CreativeWork
type: ProductModel
issued: 2000
about: p075665506
about: p075636220
author: p159844932
author: p068413955
contributor: p073155276
contributor: p081437684
language: en
is part of: p154978809
main entity of page: https://data.bibliotheken.nl/.well-known/genid/abbf044adad42e2879516fee72d68869
number of pages: 22
label: A geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de Vrijer