Diagram techniques for confluence / M. Bezem, J.W. Klop, V. van Oostrom
Ook verschenen: Utrecht : Department of Philosophy, Utrecht ; Utrecht : Utrecht Research Institute for Philosophy, 1996. - (Logic Group preprint series, ISSN 0929-0710 ; no. 166)
| rdfs:label | "Diagram techniques for confluence / M. Bezem, J.W. Klop, V. van Oostrom" |
| schema:name | "Diagram techniques for confluence" |
| schema:author | Bezem, Marcus Aloysius (1956-) |
| Vrije Universiteit (Amsterdam). Faculteit der Wiskunde en Informatica | |
| schema:contributor | Klop, Jan Willem (1945-) |
| Oostrom, Vincent van (1966-) | |
| schema:description | "Ook verschenen: Utrecht : Department of Philosophy, Utrecht ; Utrecht : Utrecht Research Institute for Philosophy, 1996. - (Logic Group preprint series, ISSN 0929-0710 ; no. 166)" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1996" |
| schema:about | algebra |
| wiskundige logica | |
|
schema:in |
"en" |
|
schema:is |
Informatica rapport / Wiskundig Seminarium der Vrije Universiteit |
|
schema:number |
34 |
| schema:publication |
<https:/ |