Search results
Results: 107
Number of items: 107
-
Bergstra, J. A., Bethke, I., & Ponse, A. (2014). Equations for formally real meadows. ArXiv. https://arxiv.org/abs/1310.5011v2 -
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., Bethke, I., & Ponse, A. (2013). Cancellation meadows: a generic basis theorem and some applications. Computer Journal, 56(1), 3-14. https://doi.org/10.1093/comjnl/bxs028
-
Bergstra, J. A., & Ponse, A. (2013). Periodic single-pass instruction sequences. (2 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/0810.1151v2
-
Bergstra, J. A., & Ponse, A. (2013). Signed Meadow valued Probability Mass Functions. Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1307.5173
-
Bergstra, J. A., Bethke, I., & Ponse, A. (2013). Equations for formally real meadows. ArXiv. https://arxiv.org/abs/1310.5011v1
-
Bergstra, J. A., & Ponse, A. (2012). Proposition algebra and short-circuit logic. In F. Arbab, & M. Sirjani (Eds.), Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22 2011: revised selected papers (pp. 15-31). (Lecture Notes in Computer Science; Vol. 7141). Springer. https://doi.org/10.1007/978-3-642-29320-7_2
-
Bergstra, J. A., & Ponse, A. (2011). Proposition algebra. ACM Transactions on Computational Logic, 12(3), 21. https://doi.org/10.1145/1929954.1929958
-
Bethke, I., Ponse, A., & Rodenburg, P. H. (2011). Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday. Theoretical Computer Science, 412(28), 3033-3034. https://doi.org/10.1016/j.tcs.2011.04.016
-
Page 3 of 11