Search results
Results: 368
Number of items: 368
-
Bergstra, J. A. (2014). Division by Zero and Abstract Data Types. (Theory of Computer Science electronic report series; No. 1404). University of Amsterdam, Theory of Computer Science. https://ivi.fnwi.uva.nl/tcs/pub/tcsreports/TCS1404.pdf -
Bergstra, J. A. (2014). From Software Crisis to Informational Money. (TCS Electronic Report series; No. 1414). University of Amsterdam, Theory of Computer Science. https://ivi.fnwi.uva.nl/tcs/pub/tcsreports/TCS1414.pdf
-
Bergstra, J. A. (2014). Bitcoin: not a currency-like informational commodity. (TCS Electronic Report series; No. 1411). University of Amsterdam, Theory of Computer Science. https://ivi.fnwi.uva.nl/tcs/pub/tcsreports/TCS1411.pdf
-
Bergstra, J. A. (2014). Personal Multi-threading. (1 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1412.3579v1
-
Bergstra, J. A. (2014). Rekenen in een Conservatieve Schrapwet Weide. (TCS Electronic Report series; No. 1405). University of Amsterdam, Theory of Computer Science. https://ivi.fnwi.uva.nl/tcs/pub/tcsreports/TCS1405.pdf
-
Bergstra, J. A., & Middelburg, C. A. (2013). Instruction sequence expressions for the secure hash algorithm SHA-256. ArXiv. http://arxiv.org/abs/1308.0219
-
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. A., & Middelburg, C. A. (2013). Instruction sequence based non-uniform complexity classes. ArXiv. http://arxiv.org/abs/1301.3297
-
Bergstra, J. A., Bethke, I., & Ponse, A. (2013). Cancellation meadows: a generic basis theorem and some applications. Computer Journal, 56(1), 3-14. https://doi.org/10.1093/comjnl/bxs028
-
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 37