Search results
Results: 368
Number of items: 368
-
-
Bergstra, J. A., & van Vlijmen, S. F. M. (2010). Business mereology: imaginative definitions of insourcing and outsourcing transformations. ArXiv. http://arxiv.org/abs/1012.5739 -
Bergstra, J. A. (2010). Formaleuros, formalcoins and virtual monies. ArXiv. http://arxiv.org/abs/1008.0616
-
Bergstra, J. A., & Ponse, A. (2010). On Hoare-McCarthy algebras. ArXiv. http://arxiv.org/abs/1012.5059v1
-
Bergstra, J. A. (2010). Steering fragments of instruction sequences. ArXiv. http://arxiv.org/abs/1010.2850
-
Bergstra, J. A., & Middelburg, C. A. (2010). On the operating unit size of load/store architectures. Mathematical Structures in Computer Science, 20(3), 395-417. https://doi.org/10.1017/S0960129509990314
-
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. (2010). On the definition of a theoretical concept of an operating system. ArXiv. http://arxiv.org/abs/1006.0813
-
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
Page 15 of 37