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

Mostowski's universal set-algebra Tech Report

P. van Emde Boas (Peter)

January 1973
Existential instantiation in a system of natural deduction for intuitionistic arithmetics Tech Report

SMC SMC Afdeling Zuivere Wiskunde

January 1973
On the number of unique subgraphs of a graph Tech Report

A.E. Brouwer (Andries)

January 1973
Trees in regular graphs and double correspondence systems Tech Report

E. Wattel (Evert)

January 1973
Multiplicative division algorithms on the integers Tech Report

A.E. Brouwer (Andries) and H.W. Lenstra (Hendrik)

January 1973
Existentially-mute theories and existence under assumptions Tech Report

D. Leivant (Daniël)

January 1973
Jacobi polynomials, 3; an analytic proof of the addition formula : (prepublication) Tech Report

T.H. Koornwinder

January 1973
The birth of a boundary layer in an elliptic singular perturbation problem : (proceedings conference in spectral theory and asymptotics of differential equations, ed. E.M. deJager, (1974), p 175-179) Tech Report

J. Grasman (Johan)

January 1973

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