Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • Open Access
    Bergstra, J. A., & Heering, J. (1995). Homomorphism preserving algebraic specifications require hidden sorts. Information and Computation, 119(1), 119-123. https://doi.org/10.1006/inco.1995.1079
  • Open Access
    Bergstra, J. A., & Tucker, J. V. (1995). Equational specifications, complete term rewriting systems, and computable and. Journal of the Association for Computing Machinery, 42(6), 1194-1230. https://doi.org/10.1145/227683.227687
  • Open Access
    van Benthem, J. F. A. K., & Bergstra, J. A. (1995). Logic of Transition Systems. Journal of Logic, Language and Information, 3(4), 247-283.
  • Open Access
    Bergstra, J. A., & Tucker, J. V. (1995). The data type variety of stack algebras. Annals of Pure and Applied Logic, 73, 11-36. https://doi.org/10.1016/0168-0072(94)00038-5
  • Bergstra, J. A., & Klint, P. (1994). The ToolBus component interconnection architecture, overview and first experiences. In A. Aerts, & Baeten (Eds.), Proceedings Tweede Landelijke Specificatie Dag, Eindhoven (pp. 1-12). Eindhover University of Technology.
  • Bergstra, J. A., & Klop, J. W. (1994). The algebra of recursively defined processes and the algebra of regular processes. In C. Verhoef, A. Ponse, & S. F. M. Vlijmen (Eds.), Algebra of Communicating Processes, Utrecht 1994 (pp. 1-25). (Workshops in Computing). Springer Verlag.
  • Bergstra, J. A., Heering, J., & Klop, J. W. (1994). Object-Oriented Algebraic Specification: Proposal for a Notation and 12 Examples. In A. Schrijver, K. R. Apt, & N. M. Temme (Eds.), From Universal Morphisms to Megabytes - a Baayen Space Odyssey (pp. 187-213). CWI.
  • Bergstra, J. A., Ponse, A., & van Wamel, J. J. (1994). Process Algebra with Backtracking. In J. W. de Bakker, W.-P. de Roever, & G. Rozenberg (Eds.), A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 : proceedings (pp. 46-91). (Lecture Notes in Computer Science; Vol. 803). Springer. https://doi.org/10.1007/3-540-58043-3_17
  • Drost, N. (1994). Process Theory and Equation Solving. [Thesis, fully internal, Universiteit van Amsterdam].
  • Klusener, A. S. (1994). Models and Axioms for a Fragment of Real Time Process Algebra. [Thesis, internally prepared, tue].
Page 36 of 38