Mail box
β
Wolfgang Rautenberg
π
Article
π
1990
π
Springer Netherlands
π
English
β 68 KB
Algebras d = (A, F), d'= (A, F') are polynomial equivalent if for each (m-place) f~ F there is a term ~Ps in the function from F' such that in A holds the defining equationfxl ... x m = ~Pl (xl, "", xm), and conversely, to eachf'~ F' there is a defining equation forf' in functions from F. Matrices (