|
rdfs:label
|
"Confluence by decreasing diagrams / Vincent van Oostrom"
|
|
schema:name
|
"Confluence by decreasing diagrams"
|
|
schema:author
|
Oostrom, Vincent van (1966-)
|
|
Vrije Universiteit (Amsterdam). Faculteit der Wiskunde en Informatica
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/65452001>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/f9dc770473313e83c471f17cc518a2ca>
|
|
http://purl.org/dc/terms#issued
|
"1991"
|
|
schema:about
|
wiskunde
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Informatica rapport / Wiskundig Seminarium der Vrije Universiteit
|
|
schema:numberOfPages
|
15
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/77a47fabfbe66fce5d97c50c7dda5fcc>
|