Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 52
Number of items: 52
  • Open Access
    Bergstra, J. A., Bethke, I., & Hendriks, D. (2017). Universality of Univariate Mixed Fractions in Divisive Meadows. (1 ed.) Informatics Institute, University of Amsterdam. https://arxiv.org/abs/1707.00499
  • Open Access
    Bergstra, J. A., & Bethke, I. (2017). Subvarieties of the Variety of Meadows. Scientific Annals of Computer Science, 27(1), 1-18. https://doi.org/10.7561/SACS.2017.1.1
  • Bergstra, J. A., & Bethke, I. (2015). Note on paraconsistency and reasoning about fractions. Journal of Applied Non-Classical Logics, 25(2), 120-124. https://doi.org/10.1080/11663081.2015.1047232
  • 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
    Bethke, I., Rodenburg, P., & Sevenster, A. (2015). The structure of finite meadows. Journal of Logical and Algebraic Methods in Programming, 84(2), 276-282. https://doi.org/10.1016/j.jlamp.2014.08.004
  • Open Access
    Bergstra, J. A., & Bethke, I. (2015). Subvarieties of the variety of meadows. Informatics Institute, University of Amsterdam. https://arxiv.org/abs/1510.04021v3
  • Open Access
    Bergstra, J. A., Bethke, I., & Ponse, A. (2014). Equations for formally real meadows. ArXiv. https://arxiv.org/abs/1310.5011v2
  • Open Access
    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
  • Open Access
    van Albada, D., Bakker, R., Bethke, I., Belleman, R., van den Berg, D., Bruntink, M., Dekkers, H., Douma, R., van Inge, T., Lagerberg, J., Pimentel, A., Polstra, S., Poss, R., Varbanescu, A. L., Visser, A., & Zaytsev, V. (2014). Whitepaper: Project-based curricula. Universiteit van Amsterdam.
  • 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
Page 1 of 6