Search results
Results: 371
Number of items: 371
-
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., & Ponse, A. (2015). Equations for formally real meadows. Journal of Applied Logic, 13(2, pt. B), 1-23. https://doi.org/10.1016/j.jal.2015.01.004
-
Bergstra, J. A., & Ponse, A. (2015). Division by zero in common meadows. In R. De Nicola, & R. Hennicker (Eds.), Software, Services, and Systems: essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering (pp. 46-61). (Lecture Notes in Computer Science; No. 8950). Springer. https://doi.org/10.1007/978-3-319-15545-6_6
-
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., & Middelburg, C. A. (2014). Instruction sequence size complexity of parity. ArXiv. https://arxiv.org/abs/1412.6787v1
-
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. (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. (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. (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., & Bethke, I. (2014). Note on Paraconsistency and the Logic of Fractions. (1 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1410.8692v1
Page 7 of 38