Search results
Results: 371
Number of items: 371
-
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., & 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., & Middelburg, C. A. (2014). A Thread Algebra with Probabilistic Features. Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1409.6873
-
Bergstra, J. A., & Ponse, A. (2014). Fracpairs: fractions over a reduced commutative ring. (1 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1411.4410v1
-
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. A. (2014). Bitcoin, een "money-like informational commodity". (TCS Electronic Report series; No. 1401). University of Amsterdam, Theory of Computer Science. https://ivi.fnwi.uva.nl/tcs/pub/tcsreports/TCS1401.pdf
-
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., & de Leeuw, K. (2013). Bitcoin and Beyond: Exclusively Informational Money. ArXiv. http://arxiv.org/abs/1304.4758
-
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
Page 9 of 38