Timothy Stokes

Log. J. IGPL, September, 2023

2022

The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.

[BibT_eX]

[DOI]

Robin Hirsch

Szabolcs Mikulás

Log. J. IGPL, 2022

2020

The algebra of non-deterministic programs: demonic operators, orders and axioms.

[BibT_eX]

[DOI]

Robin Hirsch

Szabolcs Mikulás

CoRR, 2020

2019

Algebraic properties of if-then-else and commutative three-valued tests.

[BibT_eX]

[DOI]

Khí-Uí Soo

Int. J. Algebra Comput., 2019

Override and update.

[BibT_eX]

[DOI]

CoRR, 2019

2015

Monoids with tests and the algebra of possibly non-halting programs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

2011

Modal restriction Semigroups: towards an Algebra of Functions.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2011

2009

SEMIGROUPS WITH if-then-else AND HALTING PROGRAMS.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2009

2006

Identities in the Algebra of Partial Maps.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2006

2003

Varieties of Equality Structures.

[BibT_eX]

[DOI]

Desmond Fearnley-Sander

Int. J. Algebra Comput., 2003

2000

A Complex Change of Variables for Geometrical Reasoning.

[BibT_eX]

[DOI]

Michael Bulmer

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

The Kinds of Truth of Geometry Theorems.

[BibT_eX]

[DOI]

Michael Bulmer

Desmond Fearnley-Sander

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1996

Area in Grassmann Geometry.

[BibT_eX]

[DOI]

Desmond Fearnley-Sander

Proceedings of the Automated Deduction in Geometry, 1996

1990

Gröbner Bases in Exterior Algebra.

[BibT_eX]

[DOI]