Search results
Results: 371
Number of items: 371
-
Bergstra, J., & Burgess, M. (2009). Local and global trust based on the concept of promises. ArXiv. http://arxiv.org/abs/0912.4637 -
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). A process calculus with finitary comprehended terms. ArXiv. http://arxiv.org/abs/0903.2914
-
Bergstra, J. A., & Middelburg, C. A. (2009). Arithmetical meadows. ArXiv. http://arxiv.org/abs/0909.2088
-
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). Partial Komori fields and imperative Komori fields. ArXiv. http://arxiv.org/abs/0909.5271
-
Bergstra, J. A., & Middelburg, C. A. (2009). Autosolvability of halting problem instances for instruction sequences. ArXiv. http://arxiv.org/abs/0911.5018
-
Bergstra, J. A., & Middelburg, C. A. (2009). Inversive meadows and divisive meadows. ArXiv. http://arxiv.org/abs/0907.0540
-
Bergstra, J. A., & Ponse, A. (2009). An instruction sequence semigroup with involutive anti-automorphisms. Scientific Annals of Computer Science, 19, 57-92. http://www.info.uaic.ro/bin/Annals/Article?v=XIX&a=2
Page 17 of 38