Search results
Results: 371
Number of items: 371
-
Bergstra, J. A., & Ponse, A. (2008). Proposition algebra with projective limits. ArXiv. http://arxiv.org/abs/0807.3648 -
Bergstra, J. A., & Middelburg, C. A. (2008). Instruction sequences for the production of processes. ArXiv. http://arxiv.org/abs/0811.0436v2
-
Bergstra, J. A., & Middelburg, C. A. (2008). Parallel processes with implicit computational capital. Electronic Notes in Theoretical Computer Science, 209, 55-81. https://doi.org/10.1016/j.entcs.2008.04.004
-
Bergstra, J. A., & van der Zwaag, M. B. (2008). Mechanistic behavior of single-pass instruction sequences. ArXiv. http://arxiv.org/abs/0809.4635
-
Bergstra, J. A., Ponse, A., & van der Zwaag, M. B. (2008). Tuplix calculus. Scientific Annals of Computer Science, 18, 35-61. http://www.info.uaic.ro/bin/Annals/Article?v=XVIII&a=2
-
Bergstra, J. A., Nolst Trenité, S., & van der Zwaag, M. B. (2008). Towards a formalization of budgets. ArXiv. http://arxiv.org/abs/0802.3617
-
Bergstra, J. A., Bethke, I., & Ponse, A. (2007). Decision problems for pushdown threads. Acta Informatica, 44, 75-90. https://doi.org/10.1007/s00236-007-0040-5
-
Bergstra, J. A., & Klint, P. (2007). About ``trivial'' software patents: The IsNot case. Science of Computer Programming, 64, 264-285. https://doi.org/10.1016/j.scico.2006.09.003
-
Bergstra, J. A., & Middelburg, C. A. (2007). Preferential choice and coordination conditions. The Journal of Logic and Algebraic Programming, 70, 172-200. https://doi.org/10.1016/j.jlap.2006.08.004
-
Bergstra, J. A., & Middelburg, C. A. (2007). Thread algebra for strategic interleaving. Formal Aspects of Computing, 19, 445-474. https://doi.org/10.1007/s00165-007-0024-9
Page 20 of 38