Search results
Results: 371
Number of items: 371
-
Bergstra, J. A. (2022). Prospective, Retrospective, and Formal Division: a contribution to philosophical arithmetic. Transmathematica, 2022. https://doi.org/10.36285/tm.71 -
Bergstra, J. A. (2022). An Opinion on Promises, Threats, and Accusations In the 2022 Russo-Ukrainian War. Transmathematica, 2022. https://doi.org/10.36285/tm.73
-
Bergstra, J. A., & Düwell, M. (2022). Accusations in the context of computer programming. Transmathematica, 2022. https://doi.org/10.36285/tm.69
-
Bergstra, J. A., & Tucker, J. V. (2022). Which Arithmetical Data Types Admit Fracterm Flattening? Scientific Annals of Computer Science, 32(1), 87-107. https://doi.org/10.7561/SACS.2022.1.87
-
Bergstra, J. A. (2022). Four Notions of Fault for Program Specifications. Scientific Annals of Computer Science, 32(2), 183-209. https://doi.org/10.7561/SACS.2022.2.183
-
Bergstra, J. A., & Tucker, J. V. (2022). Totalising Partial Algebras: Teams and Splinters. Transmathematica, 2022. https://doi.org/10.36285/tm.57
-
Bergstra, J. A. (2022). Defects and Faults in Algorithms, Programs and Instruction Sequences. Transmathematica, 2022. https://doi.org/10.36285/tm.49
-
Bergstra, J. A. (2021). Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent. Scientific Annals of Computer Science, 31(1), 1-50. https://doi.org/10.7561/SACS.2021.1.1
-
Anderson, J. A. D. W., & Bergstra, J. A. (2021). Review of Suppes 1957 Proposals For Division by Zero. Transmathematica, 2021. https://doi.org/10.36285/tm.53
-
Bergstra, J. A., & Ponse, A. (2021). Division by zero in common meadows. (v4 ed.) ArXiv. https://doi.org/10.48550/arXiv.1406.6878
Page 2 of 38