Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

A predicate transformer to unification Tech Report

L. Colussi (Livio) and E. Marchiori

January 1992
Closed $G^ 1$-continuous cubic Bézier surfaces Tech Report

R.C. Veltkamp (Remco)

January 1992
Comparative transition system semantics Tech Report

R.T.P. Fernando (Tim)

January 1992
Turning SOS rules into equations Tech Report

L. Aceto (Luca), B. Bloom and F.W. Vaandrager (Frits)

January 1992
Computable processes and bisimulation equivalence Tech Report

A. Ponse (Alban)

January 1992
Factorizations of $ a^n pm 1,13 leq a < 100 $ Tech Report

R.P. Brent and H.J.J. te Riele (Herman)

January 1992
Verification of parameterised synchronous concurrent algorithms with OBJ3: the pixel planes architecture revisited Tech Report

S.M. Eker

January 1992
Associative matching for linear terms Tech Report

S.M. Eker

January 1992

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close