Search results
Results: 371
Number of items: 371
-
Bergstra, J. A., & Middelburg, C. A. (2009). Meadow enriched ACP process algebras. ArXiv. http://arxiv.org/abs/0901.3012 -
Bergstra, J. A., & Middelburg, C. A. (2009). Functional units for natural numbers. ArXiv. http://arxiv.org/abs/0911.1851
-
Bergstra, J. A., & Bethke, I. (2009). Straight-line instruction sequence completeness for total calculation on cancellation meadows. ArXiv. http://arxiv.org/abs/0905.4612
-
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). Thread extraction for polyadic instruction sequences. ArXiv. http://arxiv.org/abs/0802.1578
-
Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequence processing operators. ArXiv. http://arxiv.org/abs/0910.5564
-
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. (2009). A process calculus with finitary comprehended terms. ArXiv. http://arxiv.org/abs/0903.2914
-
Bergstra, J. A., & Middelburg, C. A. (2009). Indirect jumps improve instruction sequence performance. ArXiv. http://arxiv.org/abs/0909.2089
-
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
Page 17 of 38