author-photo

Jan A. Bergstra

University of Amsterdam
Utrecht University
Leiden University

710

Papers

11060

Citations

Citation Trend

Filter By

Papers (710) Sort By

Journal Conference Others

Using Hoare logic in a process algebra setting

2021 Fundamenta Informaticae
- Jan A. Bergstra
- Cornelis A. Middelburg
Show All
- Source
- Cite
- Save
Citations (0)
Promise Theory and the Alignment of Context, Processes, Types, and Transforms

2021
- Jan A. Bergstra
- Mark Burgess
Show All
- Source
- Cite
- Save
Citations (0)
The Wheel of Rational Numbers as an Abstract Data Type

2021
- Jan A. Bergstra
- John V. Tucker
Show All
- Source
- Cite
- Save
Citations (0)
Arithmetical datatypes with true fractions

2020 Acta Informatica
- Jan A. Bergstra
- Alban Ponse
Show All
- Source
- Cite
- Save
Citations (1)
The Transrational Numbers as an Abstract Data Type

2020
- Jan A. Bergstra
- John V. Tucker
Show All
- Source
- Cite
- Save
Citations (0)
Candidate Software Process Flaws for the Boeing 737 Max MCAS Algorithm and Risks for a Proposed Upgrade.

2020 arXiv: Computers and Society
- Jan A. Bergstra
- Mark Burgess
Show All
- Source
- Cite
- Save
Citations (1)
Promise Theory as a Tool for Informaticians

2020 Social Science Research Network
- Jan A. Bergstra
Show All
- Source
- Cite
- Save
Citations (0)
Datatype defining rewrite systems for naturals and integers.

2020 arXiv: Logic in Computer Science
- Jan A. Bergstra
- Alban Ponse
Show All
- Source
- Cite
- Save
Citations (0)
Promise Theory as a Tool for Informaticians

2020
- Jan A. Bergstra
Show All
- Source
- Cite
- Save
Citations (0)
Sumterms, Summands, Sumtuples, and Sums and the Meta-arithmetic of Summation

2020 arXiv: History and Overview
- Jan A. Bergstra
Show All
- Source
- Cite
- Save
Citations (0)