Towards a calculus of algorithms

DOI10.1017/S000497270000959XzbMath0811.08006OpenAlexW2107568146MaRDI QIDQ4312395

Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes

Publication date: 23 April 1995

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s000497270000959x

zbMATH Keywords

Boolean poweralgebra of piecewise defined polynomialssubstitution homomorphisms

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Boolean algebras (Boolean rings) (06E99) Other classes of algebras (08C99)

Related Items (1)

SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS

Cites Work

• Boolean constructions in universal algebra

This page was built for publication: Towards a calculus of algorithms