Page 1

Displaying 1 – 3 of 3

Showing per page

Nd-solid varieties

Klaus Denecke, Prisana Glubudom (2007)

Discussiones Mathematicae - General Algebra and Applications

A non-deterministic hypersubstitution maps any operation symbol of a tree language of type τ to a set of trees of the same type, i.e. to a tree language. Non-deterministic hypersubstitutions can be extended to mappings which map tree languages to tree languages preserving the arities. We define the application of a non-deterministic hypersubstitution to an algebra of type τ and obtain a class of derived algebras. Non-deterministic hypersubstitutions can also be applied to equations of type τ. Formally,...

Currently displaying 1 – 3 of 3

Page 1