@article{DeneckeMruczek2000, author = {Denecke, Klaus-Dieter and Mruczek, Krysztyna}, title = {P-compatible Hypersubstitutions}, year = {2000}, language = {en} } @book{DeneckeWismath2000, author = {Denecke, Klaus-Dieter and Wismath, Shelly}, title = {Hyperidentities and clones}, series = {Algebra, logic and aplications}, volume = {14}, journal = {Algebra, logic and aplications}, publisher = {Gordon \& Breach}, address = {Amsterdam}, isbn = {90-5699-235-X}, pages = {XI, 314 S. : graph. Darst.}, year = {2000}, abstract = {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.}, language = {en} } @article{Denecke2000, author = {Denecke, Klaus-Dieter}, title = {Solid polynomial varieties of semigroups which are definable by identities}, isbn = {3-85366-951-4}, year = {2000}, language = {en} } @article{DeneckeKoppitz2000, author = {Denecke, Klaus-Dieter and Koppitz, J{\"o}rg}, title = {Essential variables in weak hypersubstitutions}, isbn = {3-8265- 7983-6}, year = {2000}, language = {en} } @article{Denecke2000, author = {Denecke, Klaus-Dieter}, title = {Generalized hypersubstitutions and strongly solid varieties}, isbn = {3-8265- 7983-6}, year = {2000}, language = {en} } @article{Denecke2000, author = {Denecke, Klaus-Dieter}, title = {P-compatible hypersubstitutions and M_P -solid varieties}, year = {2000}, language = {en} } @article{DeneckeMahdavi2000, author = {Denecke, Klaus-Dieter and Mahdavi, Kazem}, title = {The order of normal form hypersubstitutions of type 2}, year = {2000}, language = {en} } @article{Denecke2000, author = {Denecke, Klaus-Dieter}, title = {Fluid, unsolid, and completely unsolid varieties}, year = {2000}, language = {en} } @article{DeneckeArworn2000, author = {Denecke, Klaus-Dieter and Arworn, Srichan}, title = {Intervals defined by M-solid varieties}, isbn = {3-8265- 7983-6}, year = {2000}, language = {en} } @article{Denecke2000, author = {Denecke, Klaus-Dieter}, title = {The galois correspondence between subvariety lattices and monoids of hypersubstitutions}, year = {2000}, language = {en} } @article{DeneckeLeeratanavalee2000, author = {Denecke, Klaus-Dieter and Leeratanavalee, Sorasak}, title = {Generalized hypersubstitutions and strongly solid varieties}, isbn = {3-8265- 7983-6}, year = {2000}, language = {en} } @article{DeneckeLeeratanavalee2000, author = {Denecke, Klaus-Dieter and Leeratanavalee, Sorasak}, title = {Solid polynomial varieties of semigroups which are definable by identities}, year = {2000}, language = {en} } @article{Denecke2000, author = {Denecke, Klaus-Dieter}, title = {Solid varieties of normal ID-semirings}, isbn = {3-8265- 7983-6}, year = {2000}, language = {en} } @article{DeneckeHounnon2000, author = {Denecke, Klaus-Dieter and Hounnon, Hippolyte}, title = {Solid varieties of normal ID-semirings}, isbn = {3-8265- 7983-6}, year = {2000}, language = {en} } @article{DeneckeHounnon2000, author = {Denecke, Klaus-Dieter and Hounnon, Hippolyte}, title = {Solid varieties of semirings}, isbn = {981-02-4392-8}, year = {2000}, language = {en} }