Confluence by decreasing diagrams / V. van Oostrom
Oorspr. uitg.: 1991
| rdfs:label | "Confluence by decreasing diagrams / V. van Oostrom" |
| schema:name | "Confluence by decreasing diagrams" |
| schema:author | Oostrom, Vincent van (1966-) |
| Vrije Universiteit (Amsterdam). Faculteit der Wiskunde en Informatica | |
| schema:description | "Oorspr. uitg.: 1991" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1992" |
| schema:about | wiskunde |
|
schema:book |
"[Rev. ed.]" |
|
schema:in |
"en" |
|
schema:is |
Informatica rapport / Wiskundig Seminarium der Vrije Universiteit |
|
schema:number |
19 |
| schema:publication |
<https:/ |