Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • Bergstra, J. A., Dinesh, T. B., Field, J., & Heering, J. (1996). Towards a complete transformational toolkit for compilers. In H. R. Nielson (Ed.), Programming Languages and Systems (ESOP'96) (pp. 92-107). (Lecture Notes; No. 1058). Springer Verlag.
  • Bergstra, J. A., & Sellink, M. P. A. (1996). Sequential data algebra primitives (revised version of P9602). (Technical Report; No. P9602b). onbekend (FdL).
  • Bergstra, J. A., & Sellink, M. P. A. (1996). Sequential data algebra primitives. (Technical Report; No. P9602). onbekend (FdL).
  • van de Pol, J. C. (1996). Termination of Higher-Order Rewrite Systems. [Thesis, fully external, UU].
  • Bergstra, J. A., & Klint, P. (1996). The ToolBus Coordination Architecture. In C. Hankin, & P. Ciancarini (Eds.), Coordination Languages and Models (COORDINATION) (pp. 75-88). Springer-Verlag.
  • Bergstra, J. A., & Klint, P. (1996). The Discrete Time ToolBus. In M. Nivat, & M. Wirsing (Eds.), Algebraic Methodology and Software Technology (AMAST) (pp. 286-305). (LNCS; No. 1101). Springer-Verlag.
  • Bergstra, J. A., Fokkink, W. J., & Middelburg, C. A. (1996). Algebra of timed frames. International Journal of Computer Mathematics, 61, 227-255. https://doi.org/10.1080/00207169608804514
  • Open Access
    Baeten, J. A., & Bergstra, J. A. (1996). Discrete time process algebra. Formal Aspects of Computing, 8, 286-305.
  • Open Access
    Bergstra, J. A., & Tucker, J. V. (1996). Equational specifications, complete term rewriting systems, and computable and semicomputable algebras. Journal of the Association for Computing Machinery, 42(6), 1194-1230. https://doi.org/10.1145/227683.227687
  • Veltink, G. J. (1995). Tools for PSF. [Thesis, fully internal, Universiteit van Amsterdam].
Page 33 of 38