Search results
Results: 368
Number of items: 368
-
Bergstra, J. A., & Middelburg, C. A. (2012). Indirect jumps improve instruction sequence performance. Scientific Annals of Computer Science, 22(2), 253-265. https://doi.org/10.7561/SACS.2012.2.253 -
Bergstra, J. A., & Bethke, I. (2012). On the contribution of backward jumps to instruction sequence expressiveness. Theory of Computing Systems, 50(4), 706-720. https://doi.org/10.1007/s00224-011-9376-x -
Bergstra, J. A., & Middelburg, C. A. (2012). Process algebra with conditionals in the presence of epsilon. ArXiv. http://arxiv.org/abs/1204.3249 -
Bergstra, J. A. (2012). Informaticology: combining Computer Science, Data Science, and Fiction Science. ArXiv. http://arxiv.org/abs/1210.6636 -
Bergstra, J. A. (2012). Decision Taking versus Action Determination. ArXiv. http://arxiv.org/abs/1205.6177 -
Bergstra, J. A., & Middelburg, C. A. (2012). On the behaviours produced by instruction sequences under execution. Fundamenta Informaticae, 120(2), 111-144. https://doi.org/10.3233/FI-2012-753 -
Bergstra, J. A., & Ponse, A. (2011). Proposition algebra. ACM Transactions on Computational Logic, 12(3), 21. https://doi.org/10.1145/1929954.1929958
-
Bergstra, J. A., & Middelburg, C. A. (2011). Preliminaries to an investigation of reduced product set finance. Journal of King Abdulaziz University: Islamic Economics, 24(1), 175-210. https://doi.org/10.4197/Islec.24-1.7
-
Bergstra, J. A., & van de Pol, J. (2011). A calculus for four-valued sequential logic. Theoretical Computer Science, 412(28), 3122-3128. https://doi.org/10.1016/j.tcs.2011.02.035
-
Bergstra, J. A., & Middelburg, C. A. (2011). An application specific informal logic for interest prohibition theory. ArXiv. http://arxiv.org/abs/1104.0308
Page 12 of 37