19 citations · 81 across the 20 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014
The algebra of functions with antidomain and range
Robin Hirsch, Marcel Jackson, Szabolcs Mikulás
We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. Th…
math.LO2014
Monoids with tests and the algebra of possibly non-halting programs
Marcel Jackson, Tim Stokes
We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equippe…