Search results
Results: 52
Number of items: 52
-
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., & Hendriks, D. (2017). Universality of Univariate Mixed Fractions in Divisive Meadows. (1 ed.) Informatics Institute, University of Amsterdam. https://arxiv.org/abs/1707.00499
-
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
-
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
-
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
-
Bergstra, J. A., & Bethke, I. (2015). Subvarieties of the variety of meadows. Informatics Institute, University of Amsterdam. https://arxiv.org/abs/1510.04021v3
-
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
-
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., & Bethke, I. (2014). Note on paraconsistency and reasoning about fractions. ArXiv. https://arxiv.org/abs/1410.8692v1
-
Bergstra, J. A., Bethke, I., & Ponse, A. (2014). Equations for formally real meadows. ArXiv. https://arxiv.org/abs/1310.5011v2
Page 1 of 6