Search results
Results: 371
Number of items: 371
-
Bergstra, J. A., & Ponse, A. (2015). Poly-infix operators and operator families. Section Theory of Computer Science, University of Amsterdam. http://arxiv.org/abs/1505.01087 -
Bergstra, J. A., & Middelburg, C. A. (2015). Division by zero in non-involutive meadows. Journal of Applied Logic, 13(1), 1-12. https://doi.org/10.1016/j.jal.2014.10.001
-
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., & Ponse, A. (2015). Evaluation trees for proposition algebra. Section Theory of Computer Science, University of Amsterdam. http://arxiv.org/abs/1504.08321
-
Bergstra, J. A., & Burgess, M. (2014). Promise Theory: Principles and Applications. CreateSpace. https://www.createspace.com/4653947
-
Bergstra, J. A., & Middelburg, C. A. (2014). A Hoare-like logic of asserted single-pass instruction sequences. ArXiv. http://arxiv.org/abs/1408.2955v1
-
Bergstra, J. A. (2014). Bitcoin: Informational Money en het Einde van Gewoon Geld. (TCS Electronic Report series; No. 1408). University of Amsterdam, Theory of Computer Science. https://ivi.fnwi.uva.nl/tcs/pub/tcsreports/TCS1408.pdf
-
Bergstra, J. A., & Burgess, M. (2014). Promises, Impositions, and other Directionals. (1 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1401.3381v1
-
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. (2014). Note on paraconsistency and reasoning about fractions. ArXiv. https://arxiv.org/abs/1410.8692v1
Page 7 of 38