Confluence for abstract and higher-order rewriting / Vincent van Oostrom
Proefschrift Vrije Universiteit Amsterdam
| rdfs:label | "Confluence for abstract and higher-order rewriting / Vincent van Oostrom" |
| schema:name | "Confluence for abstract and higher-order rewriting" |
| schema:author | Oostrom, Vincent van (1966-) |
| schema:description | "Proefschrift Vrije Universiteit Amsterdam" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1994" |
| schema:about | computerwiskunde |
|
<http:/ |
|
| Programmatuurtechniek | |
| Computerwiskunde | |
| programmeertalen | |
|
schema:in |
"en" |
|
schema:number |
149 |
| schema:publication |
<https:/ |