E-LIB Suche - Ergebnisse für: Bergstra, Jan A

1

Logical Models of Mathematical Texts: The Case of Conventio..:

Bergstra, Jan A. ; Tucker, John V.
Journal of Logic, Language and Information. , 2024

Link: https://doi.org/10.1007/..

2

Eager Equality for Rational Number Arithmetic:

Bergstra, Jan A. ; Tucker, John V.
ACM Transactions on Computational Logic. 24 (2023) 3 - p. 1-28 , 2023

Link: https://doi.org/10.1145/..

3

Eager Term Rewriting For The Fracterm Calculus Of Common Me..:

Bergstra, Jan A ; Tucker, John V
The Computer Journal. 67 (2023) 5 - p. 1866-1871 , 2023

Link: https://doi.org/10.1093/..

4

Partial arithmetical data types of rational numbers and the..:

Bergstra, Jan A. ; Tucker, John V.
Journal of Logical and Algebraic Methods in Programming. 128 (2022) - p. 100797 , 2022

Link: https://doi.org/10.1016/..

5

Symmetric Transrationals: The Data Type and the Algorithmic..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

Bergstra, Jan A. ; Tucker, John V. - p. 63-80 , 2022

Link: https://doi.org/10.1007/..

6

Thread Algebra with Prospecting Services and Foresight Patt..:

Bergstra, Jan
Mathematics. 10 (2022) 13 - p. 2232 , 2022

Link: https://doi.org/10.3390/..

7

On The Axioms Of Common Meadows: Fracterm Calculus, Flatten..:

Bergstra, Jan A ; Tucker, John V
The Computer Journal. 66 (2022) 7 - p. 1565-1572 , 2022

Link: https://doi.org/10.1093/..

8

Review of Suppes 1957 Proposals For Division by Zero:

Anderson, James ; Bergstra, Jan
Transmathematica. , 2021

Link: https://doi.org/10.36285..

9

Non-commutative propositional logic with short-circuit eval..:

Bergstra, Jan A. ; Ponse, Alban ; Staudt, Daan J. C.
Journal of Applied Non-Classical Logics. 31 (2021) 3-4 - p. 234-278 , 2021

Link: https://doi.org/10.1080/..

10

The Wheel of Rational Numbers as an Abstract Data Type:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Bergstra, Jan A. ; Tucker, John V. - p. 13-30 , 2021

Link: https://doi.org/10.1007/..

11

Arithmetical datatypes with true fractions:

Bergstra, Jan A. ; Ponse, Alban
Acta Informatica. 57 (2020) 3-5 - p. 385-402 , 2020

Link: https://doi.org/10.1007/..

12

Fracpairs and fractions over a reduced commutative ring:

Bergstra, Jan A. ; Ponse, Alban
Indagationes Mathematicae. 27 (2016) 3 - p. 727-748 , 2016

Link: https://doi.org/10.1016/..

13

Equations for formally real meadows:

Bergstra, Jan A. ; Bethke, Inge ; Ponse, Alban
Journal of Applied Logic. 13 (2015) 2 - p. 1-23 , 2015

Link: https://doi.org/10.1016/..

14

Note on paraconsistency and reasoning about fractions:

Bergstra, Jan A. ; Bethke, Inge
Journal of Applied Non-Classical Logics. 25 (2015) 2 - p. 120-124 , 2015

Link: https://doi.org/10.1080/..

15

Editor's Note:

Bergstra, Jan A. ; Tucker, John V.
Journal of Logical and Algebraic Methods in Programming. 83 (2014) 2 - p. 82 , 2014

Link: https://doi.org/10.1016/..