Centrum Wiskunde & Informatica

Termination of algebraic type systems: the syntactic approach In Proceedings

G. Barthe and F. van Raamsdonk (Femke)

January 1997
Domain-free pure type systems In Proceedings

G. Barthe and M.H. Sørensen

January 1997
Results on resource-bounded measure In Proceedings

H.M. Buhrman (Harry), S. Fenner and L. Fortnow (Lance)

January 1997
Diagonal crossover in genetic algorithms for numerical optimization. Evolutionary computation Article

Control and Cybernetics, 26(3), 447-465.

A.E. Eiben and C.H.M. van Kemenade (Cees)

January 1997
Confluent rewriting of bisimilar term graphs In Proceedings

Z.M. Ariola (Zena), J.W. Klop (Jan Willem) and D. Plump

January 1997
A notion of classical pure type system (preliminary version) In Proceedings

G. Barthe, J. Hatcliff and M.H. Sørensen

January 1997
On intersecting chains in Boolean algebras In Proceedings

P.L. Erdös (Péter), A. Seress and L.A. Székely

January 1997
Semi-coarsening in three directions for Euler-flow computations in three dimensions Book Chapter

B. Koren (Barry), P.W. Hemker (Piet) and P.M. de Zeeuw (Paul)

January 1997

Previous

Next