Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 368
Number of items: 368
  • Open Access
    Bergstra, J. A., & Tucker, J. V. (2025). For rational numbers with Suppes-Ono division, equational validity is one-one equivalent with Diophantine unsolvability. Theoretical Computer Science, 1034, Article 115124. https://doi.org/10.1016/j.tcs.2025.115124
  • Open Access
    Bergstra, J., & Tucker, J. V. (2024). Synthetic Fracterm Calculus. Journal of Universal Computer Science, 30(3), 289-307. https://doi.org/10.3897/jucs.107082
  • Open Access
    Bergstra, J. A., & Tucker, J. V. (2023). On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness. Computer Journal, 66(7), 1565-1572. https://doi.org/10.1093/comjnl/bxac026
  • Open Access
    Bergstra, J., & Tucker, J. V. (2023). Naive Fracterm Calculus. Journal of Universal Computer Science, 29(9), 961-987. https://doi.org/10.3897/jucs.87563
  • Bergstra, J. A., & Tucker, J. V. (2022). Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory. In N. Jansen, M. Stoelinga, & P. van den Bos (Eds.), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (pp. 63-80). (Lecture Notes in Computer Science; Vol. 13560). Springer. https://doi.org/10.1007/978-3-031-15629-8_4
  • Open Access
    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
  • Open Access
    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
  • Open Access
    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
  • Open Access
    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
  • Open Access
    Bergstra, J. A., & Düwell, M. (2022). Accusations in the context of computer programming. Transmathematica, 2022. https://doi.org/10.36285/tm.69
Page 1 of 37