Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • Open Access
    Bergstra, J. A. (2010). Formaleuros, formalcoins and virtual monies. ArXiv. http://arxiv.org/abs/1008.0616
  • Bergstra, J. A., & Middelburg, C. A. (2009). Machine structure oriented control code logic. Acta Informatica, 46(5), 375-401. https://doi.org/10.1007/s00236-009-0099-2
  • Bergstra, J. A., & Middelburg, C. A. (2009). Transmission protocols for instruction streams. In M. Leucker, & C. Morgan (Eds.), Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings (pp. 127-139). (Lecture Notes in Computer Science; Vol. 5684). Springer. https://doi.org/10.1007/978-3-642-03466-4_8
  • Open Access
    Bergstra, J. A., & Ponse, A. (2009). An Instruction Sequence Semigroup with Involutive Anti-Automorphisms. (1 ed.) Section Software Engineering, University of Amsterdam. https://arxiv.org/abs/0903.1352v1
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2009). Meadow enriched ACP process algebras. ArXiv. http://arxiv.org/abs/0901.3012
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2009). On the expressiveness of single-pass instruction sequences. ArXiv. http://arxiv.org/abs/0810.1106
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2009). Functional units for natural numbers. ArXiv. http://arxiv.org/abs/0911.1851
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequence notations with probabilistic instructions. ArXiv. http://arxiv.org/abs/0906.3083
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2009). A process calculus with finitary comprehended terms. ArXiv. http://arxiv.org/abs/0903.2914
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2009). Indirect jumps improve instruction sequence performance. ArXiv. http://arxiv.org/abs/0909.2089
Page 16 of 38