Search results
Results: 371
Number of items: 371
-
Bergstra, J. A., & Klint, P. (2008). The Software Invention Cube: A classification scheme for software inventions. Journal of Intellectual Property Rights, 13(4), 293-300. http://nopr.niscair.res.in/handle/123456789/1779
-
Bergstra, J. A., & Tucker, J. V. (2008). Division safe calculation in totalised fields. Theory of Computing Systems, 43(3-4), 410-424. https://doi.org/10.1007/s00224-007-9035-4 -
Bergstra, J. A., & Middelburg, C. A. (2008). Maurer computers for pipelined instruction processing. Mathematical Structures in Computer Science, 18(02), 373-409. https://doi.org/10.1017/S0960129507006548 -
Bergstra, J. A., & Ponse, A. (2008). An instruction sequence semigroup with repeaters. ArXiv. http://arxiv.org/abs/0810.1151v1 -
Bergstra, J. A., & Middelburg, C. A. (2008). Thread algebra for poly-threading. ArXiv. http://arxiv.org/abs/0803.0378 -
Bergstra, J. A., & Middelburg, C. A. (2008). Data linkage algebra, data linkage dynamics, and priority rewriting. ArXiv. http://arxiv.org/abs/0804.4565 -
Bergstra, J. A., & Middelburg, C. A. (2008). Instruction sequences and non-uniform complexity theory. ArXiv. http://arxiv.org/abs/0809.0352 -
Bergstra, J., & Burgess, M. (2008). A static theory of promises. ArXiv. http://arxiv.org/abs/0810.3294 -
Bergstra, J. A., & Ponse, A. (2008). A generic basis theorem for cancellation meadows. ArXiv. http://arxiv.org/abs/0803.3969 -
Page 19 of 38