Search results
Results: 131
Number of items: 131
-
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). Thread algebra for poly-threading. Formal Aspects of Computing, 23(4), 567-583. https://doi.org/10.1007/s00165-011-0178-3
-
Bergstra, J. A., & Middelburg, C. A. (2011). Inversive meadows and divisive meadows. Journal of Applied Logic, 9(3), 203-220. https://doi.org/10.1016/j.jal.2011.03.001
-
Bergstra, J. A., & Middelburg, C. A. (2010). A thread calculus with molecular dynamics. Information and Computation, 208(7), 817-844. https://doi.org/10.1016/j.ic.2010.01.004
-
Bergstra, J. A., & Middelburg, C. A. (2010). Data linkage dynamics with shedding. Fundamenta Informaticae, 103(1-4), 31-52. https://doi.org/10.3233/FI-2010-317
-
Bergstra, J. A., & Middelburg, C. A. (2010). Preliminaries to an investigation of reduced product set finance. ArXiv. http://arxiv.org/abs/1012.4291
-
Bergstra, J. A., & Middelburg, C. A. (2010). On the operating unit size of load/store architectures. Mathematical Structures in Computer Science, 20(3), 395-417. https://doi.org/10.1017/S0960129509990314
-
Bergstra, J. A., & Middelburg, C. A. (2010). On the definition of a theoretical concept of an operating system. ArXiv. http://arxiv.org/abs/1006.0813
-
Bergstra, J. A., & Middelburg, C. A. (2010). An interface group for process components. Fundamenta Informaticae, 99(4), 355-382. https://doi.org/10.3233/FI-2010-254
-
Bergstra, J. A., & Middelburg, C. A. (2009). Machine structure oriented control code logic. Acta Informatica, 46(5), 375-401. https://doi.org/10.1007/s00236-009-0099-2
Page 7 of 14