Author:
Bulmer M.,Fearnley-Sander D.,Stokes T.
Abstract
We develop a generalised polynomial formalism which captures the concept of an algebra of piece-wise denned polynomials. The formalism is based on the Boolean power construction of universal algebra. A generalisation of the theory of substitution homomorphisms is developed. The abstract operation of composition of generalised polynomials in one variable is denned and shown to correspond to function composition.
Publisher
Cambridge University Press (CUP)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS;International Journal of Algebra and Computation;2009-11
2. Internalizing equality in Boolean algebras;Algebra Universalis;2000-08-01
3. Sets with B -action and linear algebra;Algebra Universalis;1998-07-01
4. Inductive equational reasoning;Lecture Notes in Computer Science;1996