Search results
Results: 371
Number of items: 371
-
Bergstra, J. A., & Middelburg, C. A. (2015). Probabilistic thread algebra. Scientific Annals of Computer Science, 25(2), 211-243. https://doi.org/10.7561/SACS.2015.2.211 -
Bergstra, J. A., & Ponse, A. (2015). Division by zero in common meadows. In R. De Nicola, & R. Hennicker (Eds.), Software, Services, and Systems: essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering (pp. 46-61). (Lecture Notes in Computer Science; No. 8950). Springer. https://doi.org/10.1007/978-3-319-15545-6_6
-
Bergstra, J. A., & Bethke, I. (2015). Subvarieties of the variety of meadows. Informatics Institute, University of Amsterdam. https://arxiv.org/abs/1510.04021v3
-
Bergstra, J. A., & Middelburg, C. A. (2015). On instruction sets for Boolean registers in program algebra. ArXiv. https://arxiv.org/abs/1502.00238v1
-
Bergstra, J. A., & Burgess, M. (2014). Promise Theory: Principles and Applications. CreateSpace. https://www.createspace.com/4653947
-
Bergstra, J. A., & Middelburg, C. A. (2014). On algorithmic equivalence of instruction sequences for computing bit string functions. ArXiv. http://arxiv.org/abs/1402.4950v2
-
Bergstra, J. A. (2014). Personal Multi-threading. (1 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1412.3579v1
-
Bergstra, J. A., Bethke, I., & Ponse, A. (2014). Equations for formally real meadows. ArXiv. https://arxiv.org/abs/1310.5011v2
-
Bergstra, J. A., & Ponse, A. (2014). Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals. (2 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1406.3280v2
-
Bergstra, J. A., & Middelburg, C. A. (2014). A Thread Algebra with Probabilistic Features. Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1409.6873
Page 7 of 38