Search results
Results: 130
Number of items: 130
-
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., & Middelburg, C. A. (2013). A process calculus with finitary comprehended terms. Theory of Computing Systems, 53(4), 645-668. https://doi.org/10.1007/s00224-013-9468-x
-
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., & Ștefánescu, G. (2013). Network algebra for synchronous dataflow. ArXiv. http://arxiv.org/abs/1303.0382
-
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., & 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., & 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. (2012). Turing Impossibility Properties for Stack Machine Programming. ArXiv. http://arxiv.org/abs/1201.6028
Page 5 of 13