Search results
Results: 130
Number of items: 130
-
Bergstra, J. A., & Middelburg, C. A. (2009). Arithmetical meadows. ArXiv. http://arxiv.org/abs/0909.2088 -
Bergstra, J. A., & Middelburg, C. A. (2009). A process calculus with finitary comprehended terms. ArXiv. http://arxiv.org/abs/0903.2914
-
Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequences with dynamically instantiated instructions. Fundamenta Informaticae, 96(1-2), 27-48. https://doi.org/10.3233/FI-2009-165
-
Bergstra, J. A., & Middelburg, C. A. (2009). Timed tuplix calculus and the Wesseling and van den Bergh equation. ArXiv. http://arxiv.org/abs/0901.3003
-
Bergstra, J. A., & Middelburg, C. A. (2008). Simulating Turing machines on Maurer machines. Journal of Applied Logic, 6(1), 1-23. https://doi.org/10.1016/j.jal.2007.04.001
-
Bergstra, J. A., & Middelburg, C. A. (2008). Distributed strategic interleaving with load balancing. Future Generation Computer Systems, 24(6), 530-548. https://doi.org/10.1016/j.future.2007.08.001
-
Bergstra, J. A., & Middelburg, C. A. (2008). Program algebra with a jump-shift instruction. Journal of Applied Logic, 6(4), 553-563. https://doi.org/10.1016/j.jal.2008.07.001
-
Bergstra, J. A., & Middelburg, C. A. (2008). Maurer computers for pipelined instruction processing. Mathematical Structures in Computer Science, 18(02), 373-409. https://doi.org/10.1017/S0960129507006548
-
Bergstra, J. A., & Middelburg, C. A. (2008). Data linkage dynamics with shedding. ArXiv. http://arxiv.org/abs/0806.4034
-
Bergstra, J. A., & Middelburg, C. A. (2008). Instruction sequences for the production of processes. ArXiv. http://arxiv.org/abs/0811.0436v2
Page 9 of 13