Search results
Results: 368
Number of items: 368
-
Bergstra, J. A., & Middelburg, C. A. (2011). An application specific informal logic for interest prohibition theory. ArXiv. http://arxiv.org/abs/1104.0308 -
Bergstra, J. A., & Middelburg, C. A. (2011). On the behaviours produced by instruction sequences under execution. ArXiv. http://arxiv.org/abs/1106.6196
-
Bergstra, J. A., & Middelburg, C. A. (2011). Thread algebra for poly-threading. Formal Aspects of Computing, 23(4), 567-583. https://doi.org/10.1007/s00165-011-0178-3
-
-
Bergstra, J., & Middelburg, C. (2011). Thread extraction for polyadic instruction sequences. Scientific Annals of Computer Science, 21(2), 283-310. http://www.info.uaic.ro/bin/Annals/Article?v=XXI2&a=4
-
Bergstra, J. A. (2011). Putting instruction sequences into effect. ArXiv. http://arxiv.org/abs/1110.1866
-
Bergstra, J. A., & Middelburg, C. A. (2011). Interest prohibition and financial product innovation. ArXiv. http://arxiv.org/abs/1104.2471
-
Bergstra, J. A., & Bethke, I. (2011). Straight-line Instruction Sequence Completeness for Total Calculations on Cancellation Meadows. Theory of Computing Systems, 48(4), 840-864. https://doi.org/10.1007/s00224-010-9272-9
-
Bergstra, J., Delen, G., & van Vlijmen, B. (2011). Introducing sourcements. ArXiv. http://arxiv.org/abs/1107.4684
-
Bergstra, J., Delen, G., & van Vlijmen, B. (2011). Stratified outsourcing theory. ArXiv. http://arxiv.org/abs/1110.1957
Page 13 of 37