Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 107
Number of items: 107
  • Bergstra, J. A., & Ponse, A. (2016). Fracpairs and fractions over a reduced commutative ring. Indagationes Mathematicae, 27(3), 727-748. https://doi.org/10.1016/j.indag.2016.01.007
  • Open Access
    Bergstra, J. A., & Ponse, A. (2016). Probability functions in the context of signed involutive meadows. Informatics Institute, University of Amsterdam. https://arxiv.org/abs/1307.5173v3
  • Open Access
    Bergstra, J. A., & Ponse, A. (2016). Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view. (1 ed.) Informatics Institute, University of Amsterdam. https://arxiv.org/abs/1608.06212v1
  • Open Access
    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
  • Open Access
    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
  • Open Access
    Bergstra, J. A., & Ponse, A. (2015). Poly-infix operators and operator families. Section Theory of Computer Science, University of Amsterdam. http://arxiv.org/abs/1505.01087
  • Open Access
    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
  • Open Access
    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
  • Open Access
    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
  • Open Access
    Bergstra, J. A., & Ponse, A. (2014). Division by zero in common meadows. ArXiv. http://arxiv.org/abs/1406.6878v1
Page 2 of 11