TY  - JOUR
A1  - Denecke, Klaus-Dieter
A1  - Mruczek, Krysztyna
T1  - P-compatible Hypersubstitutions
Y1  - 2000
ER  - 
TY  - BOOK
A1  - Denecke, Klaus-Dieter
A1  - Wismath, Shelly
T1  - Hyperidentities and clones
T3  - Algebra, logic and aplications
N2  - The theory of hyperidentities generalises the equational theory of universal algebras and is applicable in several fields of science, especially in computer sciences. This book presents the theory of hyperidentities and its relation to clone identities. The basic concept of hypersubstitution is used to introduce the monoid of hypersubstitutions, hyperidentities, M-hyperidentities, solid and M-solid varieties. This work integrates into a coherent framework many results scattered throughout the literature over the last eighteen years. In addition, the book contains some applications of hyperidentities to the functional completenes problem in multiple-valued logic. The general theory is also extended to partial algberas. The last chapter contains a list of exercises and open problems with suggestions of future work in this area of research.
Y1  - 2000
SN  - 90-5699-235-X
VL  - 14
PB  - Gordon & Breach
CY  - Amsterdam
ER  - 
TY  - JOUR
A1  - Denecke, Klaus-Dieter
T1  - Solid polynomial varieties of semigroups which are definable by identities
Y1  - 2000
SN  - 3-85366-951-4
ER  - 
TY  - JOUR
A1  - Denecke, Klaus-Dieter
A1  - Koppitz, Jörg
T1  - Essential variables in weak hypersubstitutions
Y1  - 2000
SN  - 3-8265- 7983-6
ER  - 
TY  - JOUR
A1  - Denecke, Klaus-Dieter
T1  - Generalized hypersubstitutions and strongly solid varieties
Y1  - 2000
SN  - 3-8265- 7983-6
ER  - 
TY  - BOOK
ED  - Denecke, Klaus-Dieter
ED  - Vogel, Hans-Jürgen
T1  - General algebra and applications : proceedings of the 59th Workshop on General Algebra ; 15th Conference for Young Algebraists, Potsdam 2000
T3  - Berichte aus der Mathematik
Y1  - 2000
SN  - 3-8265-7983-6
PB  - Shaker
CY  - Aachen
ER  - 
TY  - JOUR
A1  - Denecke, Klaus-Dieter
T1  - P-compatible hypersubstitutions and M_P -solid varieties
Y1  - 2000
ER  - 
TY  - JOUR
A1  - Denecke, Klaus-Dieter
A1  - Mahdavi, Kazem
T1  - The order of normal form hypersubstitutions of type 2
Y1  - 2000
ER  - 
TY  - JOUR
A1  - Denecke, Klaus-Dieter
T1  - Fluid, unsolid, and completely unsolid varieties
Y1  - 2000
ER  - 
TY  - JOUR
A1  - Denecke, Klaus-Dieter
A1  - Arworn, Srichan
T1  - Intervals defined by M-solid varieties
Y1  - 2000
SN  - 3-8265- 7983-6
ER  -