Centrum Wiskunde & Informatica

Implementation of a new primality test Tech Report

H. Cohen and A.K. Lenstra (Arjen)

January 1985
On the theory of topographic vorticity production by tidal currents Tech Report

N.M. Temme (Nico) and J.T.F. Zimmerman

January 1985
Algebraic definition of a simple programming language Tech Report

J.A. Bergstra (Jan), J. Heering (Jan) and P. Klint (Paul)

January 1985
Syntax and defining equations for an interrupt mechanism in process algebra Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1985
Conditional axioms and ***/*** calculus in process algebra Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1985
Variaties op het thema 'stack' [Variations on the theme 'stack'] : een oefening in algebraische specificatie [an exercise in algebraic specification] Tech Report

J. Heering (Jan)

January 1985
Integer-square-root : een voorbeeld van en inleiding tot programmatransformaties [an example of and introduction to program transformations] Tech Report

N.W.P. van Diepen

January 1985
On the holomorphic continuation of the Iwasawa and a related decomposition Tech Report

E.P. van der Ban

January 1985

Previous

Next