Search results
Results: 368
Number of items: 368
-
Bergstra, J. A., & Middelburg, C. A. (2017). Axioms for behavioural congruence of single-pass instruction sequences. Scientific Annals of Computer Science, 27(2), 111-135. https://doi.org/10.7561/SACS.2017.2.111 -
Bergstra, J. A., & Middelburg, C. A. (2016). Transformation of fractions into simple fractions in divisive meadows. Journal of Applied Logic, 16, 92-110. https://doi.org/10.1016/j.jal.2016.03.001
-
Bergstra, J. A., & Middelburg, C. A. (2016). Instruction sequence size complexity of parity. Fundamenta Informaticae, 149(3), 297-309. https://doi.org/10.3233/FI-2016-1450
-
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
-
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). Probability functions in the context of signed involutive meadows. Informatics Institute, University of Amsterdam. https://arxiv.org/abs/1307.5173v3
-
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. (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., & Middelburg, C. A. (2016). A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences. Scientific Annals of Computer Science, 26(2), 125-156. https://doi.org/10.7561/SACS.2016.2.125
-
Bergstra, J. A., & Middelburg, C. A. (2016). On instruction sets for Boolean registers in program algebra. Scientific Annals of Computer Science, 26(1), 1-26. https://doi.org/10.7561/SACS.2016.1.1
Page 5 of 37