Weijland, Willem Pieter (1960-)
Universiteit van Amsterdam
| rdfs:label | "Weijland, Willem Pieter (1960-)" |
| schema:name | "Willem Pieter Weijland" |
|
schema:family |
"Weijland" |
|
schema:given |
"Willem Pieter" |
|
schema:alternate |
"Weijland, Willem Peter" |
| schema:description | "Universiteit van Amsterdam" |
|
schema:birth |
"1960" |
|
schema:same |
<http:/ |
| wd:Q102442482 | |
|
<https:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Weijland, Willem Pieter (1960-)
A systolic algorithm for matrix-vector multiplication / by W.P. Weijlandschema:ProductModel
Correctness proofs for systolic algorithms: a palindrome recognizer / W.P. Weijlandschema:ProductModel
Semantics for logic programs without occur check / W.P. Weijlandschema:ProductModel
Synchrony and asynchrony in process algebra / Willem Pieter Weijlandschema:ProductModel
Synchrony with empty process / W.P. Weijlandschema:ProductModel
The algebra of synchronous processes / W.P. Weijlandschema:ProductModel
[ .. ] → schema:contributor → Weijland, Willem Pieter (1960-)
Branching time and abstraction in bisimulation semantics / R.J. van Glabbeek, W.P. Weijlandschema:ProductModel
Branching time and abstraction in bisimulation semantics : (extended abstract) / R.J. van Glabbeek, W.P. Weijlandschema:ProductModel
Correctness proofs for systolic algorithms: palindromes and sorting / by L. Kossen and W.P. Weijlandschema:ProductModel
Refinement in branching time semantics / R.J. van Glabbeek, W.P. Weijlandschema:ProductModel
Semantics for prolog via term rewrite systems / J.C.M. Baeten, W.P. Weijlandschema:ProductModel
Verification of a systolic algorithm for string comparison / L. Kossen, W.P. Weijlandschema:ProductModel
Verification of an algorithm for log-time sorting by square comparison / J.C. Mulder, W.P. Weijlandschema:ProductModel