Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows | Theory of Computing Systems |
| 3 | 2011 |
The initial meadows | The Journal of Symbolic Logic |
| 7 | 2010 |
Meadows and the equational specification of division | Theoretical Computer Science |
| 14 | 2009 |
Program algebra for sequential code | 2002 | |||
A Historically Focused Course in Abstract Algebra | Mathematics Magazine | 1 | 1998 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Imperative Process Algebra and Models of Parallel Computation | Theory of Computing Systems |
| 2024 | |
Partial arithmetical data types of rational numbers and their equational specification | Journal of Logical and Algebraic Methods in Programming |
| 2022 | |
On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness | The Computer Journal |
| 1 | 2022 |
Arithmetical datatypes with true fractions | Acta Informatica |
| 1 | 2020 |
Fracpairs and fractions over a reduced commutative ring | Indagationes Mathematicae |
| 2 | 2016 |