Timothy Stokes

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 1

Top Topics

Primitive Operations

Language Constructs

Top Venues

Publications

Robin Hirsch, Szabolcs Mikulás, Timothy Stokes
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms. Log. J. IGPL 30 (5) (2022)
Marcel Jackson, Timothy Stokes
Modal restriction Semigroups: towards an Algebra of Functions. Int. J. Algebra Comput. 21 (7) (2011)
Marcel Jackson, Timothy Stokes
SEMIGROUPS WITH if-then-else AND HALTING PROGRAMS. Int. J. Algebra Comput. 19 (7) (2009)
Marcel Jackson, Timothy Stokes
Identities in the Algebra of Partial Maps. Int. J. Algebra Comput. 16 (6) (2006)
Desmond Fearnley-Sander, Timothy Stokes
Varieties of Equality Structures. Int. J. Algebra Comput. 13 (4) (2003)
Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes
The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry (2000)
Timothy Stokes, Michael Bulmer
A Complex Change of Variables for Geometrical Reasoning. Automated Deduction in Geometry (2000)
Desmond Fearnley-Sander, Timothy Stokes
Area in Grassmann Geometry. Automated Deduction in Geometry (1996)
Timothy Stokes
Gröbner Bases in Exterior Algebra. J. Autom. Reason. 6 (3) (1990)