Search results
Results: 371
Number of items: 371
-
Bergstra, J. A., & Bethke, I. (2010). On the contribution of backward jumps to instruction sequence expressiveness. ArXiv. http://arxiv.org/abs/1005.5662 -
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
-
-
Bergstra, J., & Burgess, M. (2009). Local and global trust based on the concept of promises. ArXiv. http://arxiv.org/abs/0912.4637
-
Bergstra, J. A., & Middelburg, C. A. (2009). On the expressiveness of single-pass instruction sequences. ArXiv. http://arxiv.org/abs/0810.1106
-
Bergstra, J. A., & Middelburg, C. A. (2009). Autosolvability of halting problem instances for instruction sequences. ArXiv. http://arxiv.org/abs/0911.5018
-
Bergstra, J. A., & Ponse, A. (2009). An instruction sequence semigroup with involutive anti-automorphisms. Scientific Annals of Computer Science, 19, 57-92. http://www.info.uaic.ro/bin/Annals/Article?v=XIX&a=2
-
Bergstra, J. A., & Middelburg, C. A. (2009). Partial Komori fields and imperative Komori fields. ArXiv. http://arxiv.org/abs/0909.5271
-
Bergstra, J. A., & Middelburg, C. A. (2009). Arithmetical meadows. ArXiv. http://arxiv.org/abs/0909.2088
Page 16 of 38