research
∙
07/09/2023
A Complete Finite Equational Axiomatisation of the Fracterm Calculus for Common Meadows
We analyse abstract data types that model numerical structures with a co...
research
∙
04/28/2023
Conditional logic as a short-circuit logic
Both two-valued and three-valued conditional logic (CL), defined by Guzm...
research
∙
01/16/2020
Candidate Software Process Flaws for the Boeing 737 Max MCAS Algorithm and Risks for a Proposed Upgrade
By reasoning about the claims and speculations promised as part of the p...
research
∙
04/18/2019
Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers
The number of instructions of an instruction sequence is taken for its l...
research
∙
10/04/2018
Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant
Short-circuit evaluation denotes the semantics of propositional connecti...
research
∙
11/26/2016