Bergstra, Jan A.; Tucker, John V. Partial arithmetical data types of rational numbers and their equational specification. (English) Zbl 07576527 J. Log. Algebr. Methods Program. 128, Article ID 100797, 16 p. (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. V. Tucker}, J. Log. Algebr. Methods Program. 128, Article ID 100797, 16 p. (2022; Zbl 07576527) Full Text: DOI
Bergstra, J. A.; Middelburg, C. A. On the complexity of the correctness problem for non-zeroness test instruction sequences. (English) Zbl 1436.68079 Theor. Comput. Sci. 802, 1-18 (2020). MSC: 68N30 68Q25 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Theor. Comput. Sci. 802, 1--18 (2020; Zbl 1436.68079) Full Text: DOI arXiv
Bergstra, J. A.; Middelburg, C. A. Transformation of fractions into simple fractions in divisive meadows. (English) Zbl 1401.68210 J. Appl. Log. 16, 92-110 (2016). MSC: 68Q65 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, J. Appl. Log. 16, 92--110 (2016; Zbl 1401.68210) Full Text: DOI arXiv
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban Equations for formally real meadows. (English) Zbl 1350.68189 J. Appl. Log. 13, No. 2, Part B, 1-23 (2015). MSC: 68Q65 03C05 PDFBibTeX XMLCite \textit{J. A. Bergstra} et al., J. Appl. Log. 13, No. 2, Part B, 1--23 (2015; Zbl 1350.68189) Full Text: DOI arXiv
Bergstra, J. A.; Middelburg, C. A. Division by zero in non-involutive meadows. (English) Zbl 1401.68209 J. Appl. Log. 13, No. 1, 1-12 (2015). MSC: 68Q65 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, J. Appl. Log. 13, No. 1, 1--12 (2015; Zbl 1401.68209) Full Text: DOI arXiv
Bergstra, J. A.; Middelburg, C. A. On the expressiveness of single-pass instruction sequences. (English) Zbl 1278.68032 Theory Comput. Syst. 50, No. 2, 313-328 (2012). MSC: 68M07 68Q05 68Q65 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Theory Comput. Syst. 50, No. 2, 313--328 (2012; Zbl 1278.68032) Full Text: DOI
Bergstra, J. A.; Middelburg, C. A. Inversive meadows and divisive meadows. (English) Zbl 1251.68144 J. Appl. Log. 9, No. 3, 203-220 (2011). MSC: 68Q65 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, J. Appl. Log. 9, No. 3, 203--220 (2011; Zbl 1251.68144) Full Text: DOI arXiv
Bergstra, J. A.; Middelburg, C. A. Thread algebra for poly-threading. (English) Zbl 1225.68060 Formal Asp. Comput. 23, No. 4, 567-583 (2011). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Formal Asp. Comput. 23, No. 4, 567--583 (2011; Zbl 1225.68060) Full Text: DOI
Bergstra, J. A.; Middelburg, C. A. Program algebra with a jump-shift instruction. (English) Zbl 1158.68359 J. Appl. Log. 6, No. 4, 553-563 (2008). MSC: 68N30 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, J. Appl. Log. 6, No. 4, 553--563 (2008; Zbl 1158.68359) Full Text: DOI arXiv