Search results
Results: 371
Number of items: 371
-
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., Bethke, I., & Ponse, A. (2013). Equations for formally real meadows. ArXiv. https://arxiv.org/abs/1310.5011v1
-
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., & de Leeuw, K. (2013). Bitcoin and Beyond: Exclusively Informational Money. ArXiv. http://arxiv.org/abs/1304.4758
-
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
-
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. (2012). Decision Taking for Selling Thread Startup. ArXiv. http://arxiv.org/abs/1208.2460
-
Bergstra, J. A. (2012). Decision Taking versus Action Determination. ArXiv. http://arxiv.org/abs/1205.6177
-
Bergstra, J. A., & Middelburg, C. A. (2012). Process algebra with conditionals in the presence of epsilon. ArXiv. http://arxiv.org/abs/1204.3249
Page 11 of 38