Search results
Results: 131
Number of items: 131
-
Bergstra, J. A., & Middelburg, C. A. (2009). Arithmetical meadows. ArXiv. http://arxiv.org/abs/0909.2088 -
Bergstra, J. A., & Middelburg, C. A. (2009). Inversive meadows and divisive meadows. ArXiv. http://arxiv.org/abs/0907.0540
-
Bergstra, J. A., & Middelburg, C. A. (2009). Partial Komori fields and imperative Komori fields. ArXiv. http://arxiv.org/abs/0909.5271
-
Bergstra, J. A., & Middelburg, C. A. (2009). Thread extraction for polyadic instruction sequences. ArXiv. http://arxiv.org/abs/0802.1578
-
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. (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). Instruction sequences for the production of processes. ArXiv. http://arxiv.org/abs/0811.0436v2
-
Bergstra, J. A., & Middelburg, C. A. (2008). Data linkage dynamics with shedding. ArXiv. http://arxiv.org/abs/0806.4034
Page 9 of 14