Search results
Results: 368
Number of items: 368
-
Bergstra, J., Hirschfeld, Y., & Tucker, J. (2008). Fields, meadows and abstract data types. In A. Avron, N. Dershowitz, & A. Rabinovich (Eds.), Pillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday (pp. 166-178). (Lecture notes in computer science; No. 4800). Springer. https://doi.org/10.1007/978-3-540-78127-1_10
-
Bergstra, J., Nolst Trenité, S., & van der Zwaag, M. (2008). UvA Budget Allocatie Model. (Programming Research Group electronic report series; No. PRG0805). Informatics Institute. http://www.science.uva.nl/pub/programming-research/ereports/PRG0805.pdf
-
Bergstra, J. A., Nolst Trenité, S., & van der Zwaag, M. B. (2008). Tuplix Calculus specifications of financial transfer networks. ArXiv. http://arxiv.org/abs/0805.1806
-
Bergstra, J. A., & Middelburg, C. A. (2008). Simulating Turing machines on Maurer machines. Journal of Applied Logic, 6(1), 1-23. https://doi.org/10.1016/j.jal.2007.04.001
-
Bergstra, J. A., & Middelburg, C. A. (2008). Distributed strategic interleaving with load balancing. Future Generation Computer Systems, 24(6), 530-548. https://doi.org/10.1016/j.future.2007.08.001
-
Bergstra, J. A., & Middelburg, C. A. (2008). Program algebra with a jump-shift instruction. Journal of Applied Logic, 6(4), 553-563. https://doi.org/10.1016/j.jal.2008.07.001
-
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., & Ponse, A. (2008). Proposition algebra with projective limits. ArXiv. http://arxiv.org/abs/0807.3648 -
Bergstra, J., & Burgess, M. (2008). A static theory of promises. ArXiv. http://arxiv.org/abs/0810.3294
-
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
Page 18 of 37