Jan A. Bergstra

ORCID

Publication Activity (10 Years)

Years Active: 1977-2024
Publications (10 Years): 50

Top Venues

CoRR

Sci. Ann. Comput. Sci.

Fundam. Informaticae

J. Appl. Log.

Publications

Jan A. Bergstra, John V. Tucker
Rings with common division, common meadows and their conditional equational theories. CoRR (2024)
Jan A. Bergstra, John V. Tucker
Synthetic Fracterm Calculus. J. Univers. Comput. Sci. 30 (3) (2024)
Jan A. Bergstra, John V. Tucker
Eager Term Rewriting For The Fracterm Calculus Of Common Meadows. Comput. J. 67 (5) (2024)
Jan A. Bergstra, John V. Tucker
A Complete Finite Equational Axiomatisation of the Fracterm Calculus for Common Meadows. CoRR (2023)
Jan A. Bergstra, John V. Tucker
Eager Equality for Rational Number Arithmetic. ACM Trans. Comput. Log. 24 (3) (2023)
Jan A. Bergstra, John V. Tucker
On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness. Comput. J. 66 (7) (2023)
Jan A. Bergstra, Alban Ponse
Conditional logic as a short-circuit logic. CoRR (2023)
Jan A. Bergstra, John V. Tucker
Naive Fracterm Calculus. J. Univers. Comput. Sci. 29 (9) (2023)
Jan A. Bergstra, John V. Tucker
Partial arithmetical data types of rational numbers and their equational specification. J. Log. Algebraic Methods Program. 128 (2022)
Jan A. Bergstra
Four Notions of Fault for Program Specifications. Sci. Ann. Comput. Sci. 32 (2) (2022)
Jan A. Bergstra
A Survey of Testing for Instruction Sequence Theory. Sci. Ann. Comput. Sci. 32 (1) (2022)
Jan A. Bergstra, John V. Tucker
Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Jan A. Bergstra, John V. Tucker
Which Arithmetical Data Types Admit Fracterm Flattening? Sci. Ann. Comput. Sci. 32 (1) (2022)
Jan A. Bergstra, Cornelis A. Middelburg
Using Hoare Logic in a Process Algebra Setting. Fundam. Informaticae 179 (4) (2021)
Jan A. Bergstra
Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent. Sci. Ann. Comput. Sci. 31 (1) (2021)
Jan A. Bergstra, Alban Ponse
Datatype defining rewrite systems for naturals and integers. Log. Methods Comput. Sci. 17 (1) (2021)
Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt
Non-commutative propositional logic with short-circuit evaluation. J. Appl. Non Class. Logics 31 (3-4) (2021)
Jan A. Bergstra, Mark Burgess
Candidate Software Process Flaws for the Boeing 737 Max MCAS Algorithm and Risks for a Proposed Upgrade. CoRR (2020)
Jan A. Bergstra, Alban Ponse
Arithmetical datatypes with true fractions. Acta Informatica 57 (3-5) (2020)
Jan A. Bergstra, Cornelis A. Middelburg
On the complexity of the correctness problem for non-zeroness test instruction sequences. Theor. Comput. Sci. 802 (2020)
Jan A. Bergstra
Instruction Sequence Faults with Formal Change Justification. Sci. Ann. Comput. Sci. 30 (2) (2020)
Jan A. Bergstra
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers. Sci. Ann. Comput. Sci. 30 (1) (2020)
Jan A. Bergstra, Mark Burgess
A Promise Theoretic Account of the Boeing 737 Max MCAS Algorithm Affair. CoRR (2020)
Jan A. Bergstra, John V. Tucker
The Wheel of Rational Numbers as an Abstract Data Type. WADT (2020)
Jan A. Bergstra
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation. Sci. Ann. Comput. Sci. 30 (2) (2020)
Jan A. Bergstra
Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers. CoRR (2019)
Jan A. Bergstra, Cornelis A. Middelburg
Process Algebra with Strategic Interleaving. Theory Comput. Syst. 63 (3) (2019)
Jan A. Bergstra
Adams Conditioning and Likelihood Ratio Transfer Mediated Inference. Sci. Ann. Comput. Sci. 29 (1) (2019)
Jan A. Bergstra, Cornelis A. Middelburg
Program Algebra for Turing-Machine Programs. Sci. Ann. Comput. Sci. 29 (2) (2019)
Jan A. Bergstra, Cornelis A. Middelburg
Program algebra for Turing-machine programs. CoRR (2019)
Jan A. Bergstra
Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers. Comput. Sci. J. Moldova 27 (2) (2019)
Jan A. Bergstra, Cornelis A. Middelburg
Using Hoare logic in a process algebra setting. CoRR (2019)
Jan A. Bergstra, Cornelis A. Middelburg
A Short Introduction to Program Algebra with Instructions for Boolean Registers. Comput. Sci. J. Moldova 26 (3) (2018)
Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt
Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant. CoRR (2018)
Jan A. Bergstra, Cornelis A. Middelburg
A short introduction to program algebra with instructions for Boolean registers. CoRR (2018)
Jan A. Bergstra, Cornelis A. Middelburg
Instruction Sequences Expressing Multiplication Algorithms. Sci. Ann. Comput. Sci. 28 (1) (2018)
Jan A. Bergstra, Cornelis A. Middelburg
On the complexity of the correctness problem for non-zeroness test instruction sequences. CoRR (2018)
Jan A. Bergstra, Cornelis A. Middelburg
Axioms for behavioural congruence of single-pass instruction sequences. CoRR (2017)
Jan A. Bergstra, Inge Bethke
Subvarieties of the Variety of Meadows. Sci. Ann. Comput. Sci. 27 (1) (2017)
Jan A. Bergstra, Cornelis A. Middelburg
Axioms for Behavioural Congruence of Single-Pass Instruction Sequences. Sci. Ann. Comput. Sci. 27 (2) (2017)
Jan A. Bergstra, Cornelis A. Middelburg
Contradiction-Tolerant Process Algebra with Propositional Signals. Fundam. Informaticae 153 (1-2) (2017)
Jan A. Bergstra, Cornelis A. Middelburg
Process algebra with strategic interleaving. CoRR (2017)
Jan A. Bergstra, Inge Bethke, Dimitri Hendriks
Universality of Univariate Mixed Fractions in Divisive Meadows. CoRR (2017)
Jan A. Bergstra, Alban Ponse
Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view. CoRR (2016)
Jan A. Bergstra, Cornelis A. Middelburg
On Instruction Sets for Boolean Registers in Program Algebra. Sci. Ann. Comput. Sci. 26 (1) (2016)
Jan A. Bergstra, Alban Ponse
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract). WADT (2016)
Jan A. Bergstra
Adams Conditioning and Likelihood Ratio Transfer Mediated Inference. CoRR (2016)
Jan A. Bergstra, Cornelis A. Middelburg
Transformation of fractions into simple fractions in divisive meadows. J. Appl. Log. 16 (2016)
Jan A. Bergstra, Cornelis A. Middelburg
Instruction Sequence Size Complexity of Parity. Fundam. Informaticae 149 (3) (2016)
Jan A. Bergstra, Cornelis A. Middelburg
A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences. Sci. Ann. Comput. Sci. 26 (2) (2016)
Jan A. Bergstra, Cornelis A. Middelburg
On instruction sets for Boolean registers in program algebra. CoRR (2015)
Jan A. Bergstra, Alban Ponse
Evaluation trees for proposition algebra. CoRR (2015)
Jan A. Bergstra, Alban Ponse
Division by Zero in Common Meadows. Software, Services, and Systems (2015)
Jan A. Bergstra, Cornelis A. Middelburg
Division by zero in non-involutive meadows. J. Appl. Log. 13 (1) (2015)
Jan A. Bergstra, Inge Bethke
A negative result on algebraic specifications of the meadow of rational numbers. CoRR (2015)
Jan A. Bergstra, Inge Bethke
Note on paraconsistency and reasoning about fractions. J. Appl. Non Class. Logics 25 (2) (2015)
Jan A. Bergstra, Cornelis A. Middelburg
Probabilistic Thread Algebra. Sci. Ann. Comput. Sci. 25 (2) (2015)
Jan A. Bergstra, Inge Bethke, Alban Ponse
Equations for formally real meadows. J. Appl. Log. 13 (2) (2015)
Jan A. Bergstra, Cornelis A. Middelburg
Contradiction-tolerant process algebra with propositional signals. CoRR (2015)
Jan A. Bergstra
Architectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money. CoRR (2015)
Jan A. Bergstra, Cornelis A. Middelburg
Transformation of fractions into simple fractions in divisive meadows. CoRR (2015)
Jan A. Bergstra, Cornelis A. Middelburg
On Algorithmic Equivalence of Instruction Sequences for Computing Bit String Functions. Fundam. Informaticae 138 (4) (2015)
Jan A. Bergstra, Inge Bethke
Subvarieties of the variety of meadows. CoRR (2015)
Jan A. Bergstra, Alban Ponse
Evaluation Trees for Proposition Algebra - The Case for Free and Repetition-Proof Valuation Congruence. Correct System Design (2015)
Jan A. Bergstra, Mark Burgess
Promises, Impositions, and other Directionals. CoRR (2014)
Jan A. Bergstra, Cornelis A. Middelburg
A Hoare-like logic of asserted single-pass instruction sequences. CoRR (2014)
Jan A. Bergstra
Personal Multi-threading. CoRR (2014)
Jan A. Bergstra, Peter Weijland
Bitcoin: a Money-like Informational Commodity. CoRR (2014)
Jan A. Bergstra, Cornelis A. Middelburg
A Thread Algebra with Probabilistic Features. CoRR (2014)
Jan A. Bergstra, Inge Bethke
Note on paraconsistency and the logic of fractions. CoRR (2014)
Jan A. Bergstra, Cornelis A. Middelburg
Instruction Sequence Based Non-uniform Complexity Classes. Sci. Ann. Comput. Sci. 24 (1) (2014)
Jan A. Bergstra, Cornelis A. Middelburg
On algorithmic equivalence of instruction sequences for computing bit string functions. CoRR (2014)
Jan A. Bergstra, Cornelis A. Middelburg
Division by zero in non-involutive meadows. CoRR (2014)
Jan A. Bergstra, Cornelis A. Middelburg
Instruction sequence size complexity of parity. CoRR (2014)
Jan A. Bergstra, Alban Ponse
Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals. CoRR (2014)
Jan A. Bergstra, John V. Tucker
Editor's Note. J. Log. Algebraic Methods Program. 83 (2) (2014)
Jan A. Bergstra, Cornelis A. Middelburg
Long multiplication by instruction sequences with backward jump instructions. CoRR (2013)
Jan A. Bergstra, Cornelis A. Middelburg, Gheorghe Stefanescu
Network algebra for synchronous dataflow CoRR (2013)
Jan A. Bergstra, Cornelis A. Middelburg
Instruction sequence expressions for the Karatsuba multiplication algorithm. CoRR (2013)
Jan A. Bergstra, Jan Willem Klop, Jan Rutten
Obituary for Jaco de Bakker, 1939-2012. Bull. EATCS 109 (2013)
Jan A. Bergstra, Cornelis A. Middelburg
A Process Calculus with Finitary Comprehended Terms. Theory Comput. Syst. 53 (4) (2013)
Jan A. Bergstra, Cornelis A. Middelburg
Timed Tuplix Calculus and the Wesseling and van den Bergh Equation. Sci. Ann. Comput. Sci. 23 (2) (2013)
Jan A. Bergstra
Editorial. Sci. Comput. Program. 78 (9) (2013)
Jan A. Bergstra, Cornelis A. Middelburg
Instruction sequence expressions for the secure hash algorithm SHA-256. CoRR (2013)
Jan A. Bergstra, Karl de Leeuw
Questions related to Bitcoin and other Informational Money CoRR (2013)
Jan A. Bergstra, Cornelis A. Middelburg
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting. Fundam. Informaticae 128 (4) (2013)
Jan A. Bergstra, Cornelis A. Middelburg
Instruction sequence based non-uniform complexity classes CoRR (2013)
Jan A. Bergstra, Jens Blanck, Faron Moller, Stanley S. Wainer
Guest Editorial. Comput. J. 56 (1) (2013)
Jan A. Bergstra
Decision Taking versus Promise Issuing. CoRR (2013)
Jan A. Bergstra, Inge Bethke, Alban Ponse
Equations for formally real meadows. CoRR (2013)
Jan A. Bergstra, Inge Bethke, Alban Ponse
Cancellation Meadows: A Generic Basis Theorem and Some Applications. Comput. J. 56 (1) (2013)
Jan A. Bergstra, Karl de Leeuw
Bitcoin and Beyond: Exclusively Informational Monies CoRR (2013)
Jan A. Bergstra, Inge Bethke
On the Contribution of Backward Jumps to Instruction Sequence Expressiveness. Theory Comput. Syst. 50 (4) (2012)
Jan A. Bergstra, Cornelis A. Middelburg
On the Behaviours Produced by Instruction Sequences under Execution. Fundam. Informaticae 120 (2) (2012)
Jan A. Bergstra, Cornelis A. Middelburg
Instruction sequence processing operators. Acta Informatica 49 (3) (2012)
Jan A. Bergstra
Decision Taking for Selling Thread Startup CoRR (2012)
Jan A. Bergstra
Decision Taking versus Action Determination CoRR (2012)
Jan A. Bergstra, Cornelis A. Middelburg
Process algebra with conditionals in the presence of epsilon CoRR (2012)
Jan A. Bergstra, Cornelis A. Middelburg
On the Expressiveness of Single-Pass Instruction Sequences. Theory Comput. Syst. 50 (2) (2012)
Jan A. Bergstra
Four Conceptions of Instruction Sequence Faults CoRR (2012)

Jan A. Bergstra.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan A. Bergstra