Search results
Results: 371
Number of items: 371
-
Bergstra, J. A. (2014). Bitcoin and Islamic Finance. (3 ed.) (TCS Electronic Report series; No. 1406). University of Amsterdam, Theory of Computer Science. https://ivi.fnwi.uva.nl/tcs/pub/tcsreports/TCS1406v3.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., Bethke, I., & Ponse, A. (2014). Rekenen-Informatica. (TCS Electronic Report series; No. 1412). University of Amsterdam, Theory of Computer Science. https://ivi.fnwi.uva.nl/tcs/pub/tcsreports/TCS1412.pdf
-
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. (2014). Personal Multi-threading. (1 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1412.3579v1
-
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., & Ponse, A. (2014). Division by zero in common meadows. ArXiv. http://arxiv.org/abs/1406.6878v1
-
Bergstra, J., & Middelburg, C. A. (2013). A process calculus with finitary comprehended terms. Theory of Computing Systems, 53(4), 645-668. https://doi.org/10.1007/s00224-013-9468-x
-
Bergstra, J., Blanck, J., Moller, F., & Wainer, S. (2013). Guest editorial. Computer Journal, 56(1). https://doi.org/10.1093/comjnl/bxs147
Page 9 of 38