Search results
Results: 368
Number of items: 368
-
Bergstra, J. A. (2013). Decision Taking versus Promise Issuing. ArXiv. http://arxiv.org/abs/1306.6412 -
Bergstra, J. A., Middelburg, C. A., & Ștefánescu, G. (2013). Network algebra for synchronous dataflow. ArXiv. http://arxiv.org/abs/1303.0382
-
Bergstra, J. A., & de Leeuw, K. (2013). Questions related to Bitcoin and other Informational Money. ArXiv. http://arxiv.org/abs/1305.5956
-
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., & Ponse, A. (2013). Periodic single-pass instruction sequences. (2 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/0810.1151v2
-
Bergstra, J. A., & Middelburg, C. A. (2013). Instruction sequence expressions for the Karatsuba multiplication algorithm. ArXiv. http://arxiv.org/abs/1312.1529
-
Bergstra, J., & Middelburg, C. A. (2013). Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting. Fundamenta Informaticae, 128(4), 367-412. https://doi.org/10.3233/FI-2013-950
-
Bergstra, J. A., & Ponse, A. (2013). Signed Meadow valued Probability Mass Functions. Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1307.5173
-
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., Klop, J. W., & Rutten, J. (2013). Obituary for Jaco de Bakker, 1930-2012. Bulletin of the European Association for Theoretical Computer Science, 109, 14-16. http://eatcs.org/beatcs/index.php/beatcs/article/view/24
Page 10 of 37