Operational and mathematical semantics for recursive polyadic program schemata / [by] W. P. de Roever ; extended abstract
Overdr. uit: Mathematical foundations of computer science, 2nd symposium, 1973
| rdfs:label | "Operational and mathematical semantics for recursive polyadic program schemata / [by] W. P. de Roever ; extended abstract" |
| schema:name | "Operational and mathematical semantics for recursive polyadic program schemata" |
| schema:author | Roever, Willem Paul de (1943-) |
| schema:description | "Overdr. uit: Mathematical foundations of computer science, 2nd symposium, 1973" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1973" |
|
schema:in |
"en" |
|
schema:number |
10 |
| schema:publication |
<https:/ |