Search results
Results: 371
Number of items: 371
-
Bergstra, J. A. (2016). Conditional Values in Signed Meadow Based Axiomatic Probability Calculus. (3 ed.) Informatics Institute, University of Amsterdam. https://arxiv.org/abs/1609.02812v3 -
Bergstra, J. A. (2016). Adams Conditioning and Likelihood Ratio Transfer Mediated Inference. (3 ed.) Informatics Institute, University of Amsterdam. https://arxiv.org/abs/1611.09351v3
-
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
-
Bergstra, J. A., & Middelburg, C. A. (2015). On algorithmic equivalence of instruction sequences for computing bit string functions. Fundamenta Informaticae, 138(4), 411-434. https://doi.org/10.3233/FI-2015-1219
-
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., & 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., & Ponse, A. (2015). Poly-infix operators and operator families. Section Theory of Computer Science, University of Amsterdam. http://arxiv.org/abs/1505.01087
-
Bergstra, J. A. (2015). Architectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money. (1 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1504.07184
-
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., & 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
Page 6 of 38