university website 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
  • thumb

    $ACP_\tau$: a universal axiom system for process specification Tech Report

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

    January 1987
  • thumb

    Four papers on computational geometry : [most of the papers will be presented in 'Computational and geometric aspects of robotics', a minisymposium (MS/85) to be held during the first international conference on industrial and applied mathematics (ICIAM)] Book

    V. Akman (Varol), C. Bajaj, R. Franklin, J. Mitchell, H. Rohnert and G. Wilfong

    January 1987
    open access
  • thumb

    Proceedings seminar 1983-1985 mathematical structures in field theories, vol. 2 : [held at Amsterdam] Book

    M.J. Bergvelt, G.M. Tuynman and A.P.E. ten Kroode

    January 1987
  • thumb

    Security without identification: card computers to make big brother obsolete Tech Report

    D. Chaum (David)

    January 1987
  • thumb

    Multigrid and defect correction for the efficient solution of the steady Euler equations In Proceedings

    B. Koren (Barry) and S.P. Spekreijse

    January 1987
  • thumb

    Decidability of bisimulation equivalence for processes generating context-free languages In Proceedings

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

    January 1987
  • thumb

    Approximating the projective model In Proceedings

    E. Kranakis (Evangelos)

    January 1987
  • thumb

    Management of stratified databases Tech Report

    K.R. Apt (Krzysztof) and J.-M. Pugin

    January 1987
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close