The semantical kernel of a generalized hypersubstitution (Q1879108)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The semantical kernel of a generalized hypersubstitution |
scientific article; zbMATH DE number 2101791
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The semantical kernel of a generalized hypersubstitution |
scientific article; zbMATH DE number 2101791 |
Statements
The semantical kernel of a generalized hypersubstitution (English)
0 references
22 September 2004
0 references
Created seemingly for its own sake by the authors [``Generalized hypersubstitutions and strongly solid varieties'', Proceedings of the 59th workshop on general algebra, Potsdam, Germany, 2000 (2000)], the notion of generalized hypersubstitution is considered with regard to associated Galois connections and possible (albeit dubitable) interpretations in the theory of formal languages.
0 references
generalized hypersubstitution
0 references
fully invariant congruence relation
0 references
hyperunification
0 references
tree transformation
0 references
