Tim Stokes

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 4

Top Topics

Control Program

Algebraic Properties

Control Structures

Top Venues

J. Log. Algebraic Methods Program.

Int. J. Algebra Comput.

Publications

Marcel Jackson, Tim Stokes
Restriction in Program Algebra. Log. J. IGPL 31 (5) (2023)
Robin Hirsch, Szabolcs Mikulás, Tim Stokes
The algebra of non-deterministic programs: demonic operators, orders and axioms. CoRR (2020)
Marcel Jackson, Tim Stokes
Override and update. CoRR (2019)
Khí-Uí Soo, Tim Stokes
Algebraic properties of if-then-else and commutative three-valued tests. Int. J. Algebra Comput. 29 (4) (2019)
Marcel Jackson, Tim Stokes
Monoids with tests and the algebra of possibly non-halting programs. J. Log. Algebraic Methods Program. 84 (2) (2015)
Marcel Jackson, Tim Stokes
Monoids with tests and the algebra of possibly non-halting programs. CoRR (2014)