Search results

    Filter results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 57,892
Number of items: 57,892
  • de Jonge, M. (1999). bovenv.sty: A latex style file for formatting box expression. Technical Report SEN-R9911. CWI.
  • Luttik, S. P. (1999). Complete axiomatisations of weak-, delay- and eta-bisimulation for process algebras with alternative quantification over data. Report SEN-R9914. CWI.
  • Luttik, S. P. (1999). Cylindric process algebras with conditionals give substitionless pcrl. Report SEN-R9912. CWI.
  • Aiello, M., & van Benthem, J. F. A. K. (1999). Spaces to Play: Topo-Games. In A. Baltag, & M. Pauly (Eds.), Workshop on Logic and Games Universiteit van Amsterdam.
  • Aiello, M., & Agostini, A. (1999). Teaching via the web: A self-evaluation game using Java for learning logical equivalence. In Proceedings of WebNet99
  • van den Brand, M. G. J., & de Jonge, M. (1999). Prettyprinting within the asf+sdf-environment: A generic approach. Technical Report SEN-R9904. CWI.
  • van den Brand, M. G. J., Klint, P., & Olivier, P. A. (1999). Compilation and memory managment for asf+sdf. Technical Report SEN-R9906. CWI.
  • van Deursen, A., Klint, P., & Verhoef, C. (1999). Research issues in the renovation of legacy systems. Tecnical Report SEN-R9908. CWI.
  • Roselaar, C. S. (1999). Lijst van vogeltijdschriften aanwezig in de belangrijkere Nederlandse vogelkundige bibliotheken. Nederlandse Ornithologische Unie, 1-34.
  • Sangster, G., Hazevoet, C. J., van den Berg, A. B., Roselaar, C. S., & Sluys, R. (1999). Dutch avifaunal list: species concepts, taxonomic instability and taxonomic changes. Ardea, 87, 271-275.
Page 4757 of 5790