Search results
Results: 371
Number of items: 371
-
Bergstra, J. A., Bethke, I., & Ponse, A. (2013). Cancellation meadows: a generic basis theorem and some applications. Computer Journal, 56(1), 3-14. https://doi.org/10.1093/comjnl/bxs028
-
Bergstra, J. A., & Middelburg, C. A. (2013). Instruction sequence based non-uniform complexity classes. ArXiv. http://arxiv.org/abs/1301.3297 -
Bergstra, J. A., & Middelburg, C. A. (2013). Instruction sequence expressions for the secure hash algorithm SHA-256. ArXiv. http://arxiv.org/abs/1308.0219 -
Bergstra, J. A. (2013). Decision Taking versus Promise Issuing. ArXiv. http://arxiv.org/abs/1306.6412 -
Bergstra, J. A., & de Leeuw, K. (2013). Bitcoin and Beyond: Exclusively Informational Money. ArXiv. http://arxiv.org/abs/1304.4758 -
Bergstra, J., & Middelburg, C. (2013). Timed tuplix calculus and the Wesseling and van den Berg equation. Scientific Annals of Computer Science, 23(2), 169-190. https://doi.org/10.7561/SACS.2013.2.169 -
Bergstra, J. A., & de Leeuw, K. (2013). Questions related to Bitcoin and other Informational Money. ArXiv. http://arxiv.org/abs/1305.5956 -
Bergstra, J. A., & Middelburg, C. A. (2013). Long multiplication by instruction sequences with backward jump instructions. ArXiv. http://arxiv.org/abs/1312.1812 -
Bergstra, J. A., & Middelburg, C. A. (2013). Instruction sequence expressions for the Karatsuba multiplication algorithm. ArXiv. http://arxiv.org/abs/1312.1529 -
Bergstra, J. A., & Ponse, A. (2013). Periodic single-pass instruction sequences. (2 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/0810.1151v2
Page 10 of 38