Search results
Results: 371
Number of items: 371
-
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., & Bethke, I. (2014). Note on paraconsistency and reasoning about fractions. ArXiv. https://arxiv.org/abs/1410.8692v1
-
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., & Weijland, P. (2014). Bitcoin: a Money-like Informational Commodity. (1 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1402.4778v1
-
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. (2014). Four Complete Datatype Defining Rewrite Systems for an Abstract Datatype of Natural Numbers. (3 ed.) (TCS Electronic Report series; No. 1407). University of Amsterdam, Theory of Computer Science. https://ivi.fnwi.uva.nl/tcs/pub/tcsreports/TCS1407v3.pdf
-
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. (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., & Middelburg, C. A. (2014). On algorithmic equivalence of instruction sequences for computing bit string functions. ArXiv. http://arxiv.org/abs/1402.4950v2
Page 8 of 38