|
rdfs:label
|
"A proof theory for a sequential version of POOL / P.H.M. America"
|
|
schema:name
|
"A proof theory for a sequential version of POOL"
|
|
schema:author
|
Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
|
|
America, Petrus Hubertus Maria (1959-)
|
|
schema:contributor
|
Boer, Frank Sipke de (1956-)
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/65554277>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/3ed7eb065869bc0c5a77782c345e9c86>
|
|
http://purl.org/dc/terms#issued
|
"1991"
|
|
schema:about
|
programmeertalen
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Report / Department of Computer Science
|
|
schema:numberOfPages
|
110
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/d48465eb0a57091639ee52fea82d11ac>
|