Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 368
Number of items: 368
  • Open Access
    Bergstra, J., Klop, J. W., & Rutten, J. (2013). Obituary for Jaco de Bakker, 1930-2012. Bulletin of the European Association for Theoretical Computer Science, 109, 14-16. http://eatcs.org/beatcs/index.php/beatcs/article/view/24
  • Open Access
    Bergstra, J. A., & de Leeuw, K. (2013). Bitcoin and Beyond: Exclusively Informational Money. ArXiv. http://arxiv.org/abs/1304.4758
  • Bergstra, J. A., & Ponse, A. (2012). Proposition algebra and short-circuit logic. In F. Arbab, & M. Sirjani (Eds.), Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22 2011: revised selected papers (pp. 15-31). (Lecture Notes in Computer Science; Vol. 7141). Springer. https://doi.org/10.1007/978-3-642-29320-7_2
  • Bergstra, J. A., & Middelburg, C. A. (2012). Instruction Sequences for Computer Science. (Atlantis Studies in Computing; No. 2). Atlantis Press.
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2012). Turing Impossibility Properties for Stack Machine Programming. ArXiv. http://arxiv.org/abs/1201.6028
  • Open Access
    Bergstra, J. A. (2012). Decision Taking for Selling Thread Startup. ArXiv. http://arxiv.org/abs/1208.2460
  • Open Access
    Bergstra, J. A. (2012). About Instruction Sequence Testing. ArXiv. http://arxiv.org/abs/1201.3929
  • Open Access
    Bergstra, J. A. (2012). Decision taking as a service. ArXiv. http://arxiv.org/abs/1205.4194
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2012). Instruction sequence processing operators. Acta Informatica, 49(3), 139-172. https://doi.org/10.1007/s00236-012-0154-2
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2012). On the expressiveness of single-pass instruction sequences. Theory of Computing Systems, 50(2), 313-328. https://doi.org/10.1007/s00224-010-9301-8
Page 11 of 37