Search results
Results: 371
Number of items: 371
-
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. (2022). Defects and Faults in Algorithms, Programs and Instruction Sequences. Transmathematica, 2022. https://doi.org/10.36285/tm.49
-
Bergstra, J. A., & Tucker, J. V. (2022). Partial arithmetical data types of rational numbers and their equational specification. Journal of Logical and Algebraic Methods in Programming, 128, Article 100797. https://doi.org/10.1016/j.jlamp.2022.100797
-
Bergstra, J. A. (2022). A Survey of Testing for Instruction Sequence Theory. Scientific Annals of Computer Science, 32(1), 5-86. https://doi.org/10.7561/SACS.2022.1.5
-
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. (2022). Prospective, Retrospective, and Formal Division: a contribution to philosophical arithmetic. Transmathematica, 2022. https://doi.org/10.36285/tm.71
-
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., & Ponse, A. (2021). Datatype defining rewrite systems for naturals and integers. Logical Methods in Computer Science, 17(1), Article 17. https://doi.org/10.23638/LMCS-17(1:17)2021
-
Bergstra, J. A., Ponse, A., & Staudt, D. J. C. (2021). Non-commutative propositional logic with short-circuit evaluation. Journal of Applied Non-Classical Logics, 31(3-4), 234-278. https://doi.org/10.1080/11663081.2021.2010954
-
Bergstra, J. A., & Middelburg, C. A. (2021). Using Hoare Logic in a Process Algebra Setting. Fundamenta Informaticae, 179(4), 321-344. https://doi.org/10.3233/FI-2021-2026
Page 2 of 38