Centrum Wiskunde & Informatica

On a formula of van der pol and a problem concerning the ordinates of the non-trivial zero's of riemann's zeta function Tech Report

J. van de Lune (Jan)

January 1973
Some theorems concerning the number theoretical functions (n) and (n) Tech Report

J. van de Lune (Jan)

January 1973
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

Previous

Next