Search results
Results: 368
Number of items: 368
-
Bergstra, J. A., & de Leeuw, K. (2013). Bitcoin and Beyond: Exclusively Informational Money. ArXiv. http://arxiv.org/abs/1304.4758 -
Bergstra, J. A., Bethke, I., & Ponse, A. (2013). Equations for formally real meadows. ArXiv. https://arxiv.org/abs/1310.5011v1
-
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. (2012). Decision Taking versus Action Determination. ArXiv. http://arxiv.org/abs/1205.6177
-
Bergstra, J. A., & Middelburg, C. A. (2012). Turing Impossibility Properties for Stack Machine Programming. ArXiv. http://arxiv.org/abs/1201.6028
-
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 for Selling Thread Startup. ArXiv. http://arxiv.org/abs/1208.2460
-
Page 11 of 37