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

Twee obolen Book Chapter

G.Y. Nieuwland

January 1991
Direct zero knowledge proofs of computational power in five rounds In Proceedings

T. Okamoto, D. Chaum (David) and K. Ohta

January 1991
Efficient multigrid computation of steady hypersonic flows Book Chapter

B. Koren (Barry) and P.W. Hemker (Piet)

January 1991
Proving termination of general Prolog programs In Proceedings

K.R. Apt (Krzysztof) and D. Pedreschi

January 1991
Functional programming with bananas, lenses, envelopes and barbed wire In Proceedings

E. Meijer, M.M. Fokkinga (Maarten) and R. Paterson

January 1991
Concurrency semantics based on metric domain equations In Proceedings

J.W. de Bakker (Jaco) and J.J.M.M. Rutten (Jan)

January 1991
Extended term rewriting systems In Proceedings

J.W. Klop (Jan Willem) and R. de Vrijer

January 1991
The meaning of negative premises in transition system specifications (extended abstract) In Proceedings

R.N. Bol and J.F. Groote (Jan Friso)

January 1991

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