4 citations · 6 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 4 cited
A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
Jan A Bergstra, John V Tucker
We analyse abstract data types that model numerical structures with a concept of error. Specifically, we focus on arithmetic data types that contain an error value whose mai…
cs.LO2021
A model of systems with modes and mode transitions
Edwin Beggs, John V. Tucker
We propose a method of classifying the operation of a system into finitely many modes. Each mode has its own objectives for the system's behaviour and its own mathematical models a…