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

An optimal simulation of counter machines: the ACM case Tech Report

P.M.B. Vitányi (Paul)

January 1983
Another incompleteness theorem for Hoare's logic Tech Report

J.A. Bergstra (Jan), A. Cmielienska and J. Tiuryn

January 1983
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness Tech Report

J.A. Bergstra (Jan) and J. Tiuryn

January 1983
A process algebra for the operational semantics of static data flow networks Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1983
Factoring multivariate polynomials over finite fields Tech Report

A.K. Lenstra (Arjen)

January 1983
On the implementation of an editor for the B programming language Tech Report

F.A.H. van Harmelen (Frank)

January 1983
Sum rule for products of Bessel functions: comments on a paper by Newberger: "New sum rule for products of Bessel functions with application to plasma physics" Tech Report

M. Bakker (Miente) and N.M. Temme (Nico)

January 1983
The parametrisation of the unstable invariant manifold for a class of horseshoe maps Tech Report

H.A. Lauwerier

January 1983

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