Results 51 to 60 of about 119 (83)
Pressure makes diamonds? The impact of closed incision negative pressure wound therapy on complications following abdominoplasty in patients with massive weight loss-results from a case controlled trial. [PDF]
Schulz T +4 more
europepmc +1 more source
The theory of hyperidentities generalises the equational theory of universal algebras and is applicable in several fields of science, especially in computer sciences.
Denecke, Klaus-Dieter, Wismath, Shelly
core
THE DIMENSION OF A VARIETY AND THE KERNEL OF A HYPERSUBSTITUTION
The dimension of a variety V of algebras of a given type was introduced by E. Graczyńska and D. Schweigert in [7] as the cardinality of the set of all derived varieties of V which are properly contained in V. In this paper, we characterize all solid varieties of dimensions 0, 1, and 2; prove that the dimension of a variety of finite type is at most ℵ0;
Denecke, Klaus-Dieter, Wismath, Shelly
openaire +4 more sources
All idempotent hypersubstitutions of type (2,2)
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cangpas, Tawat, Denecke, Klaus-Dieter
openaire +2 more sources
The semantical kernel of a generalized hypersubstitution
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
Denecke, Klaus-Dieter +1 more
openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Essential variables in hypersubstitutions
Algebra Universalis, 2001Given a type \(\tau = (n_i)_{i\in I}\), a hypersubstitution is a mapping \(\sigma \) which assigns to every \(n_i\)-ary operation symbol \(f_i\) an \(n_i\)-ary term \(\sigma (f_i)\). Such a mapping can be inductively extended to the set of all terms of type \(\tau \).
Denecke, Klaus-Dieter, Koppitz, Jörg
openaire +2 more sources
HYPERSUBSTITUTIONS OF MANY-SORTED ALGEBRAS
Asian-European Journal of Mathematics, 2008Many-sorted algebras are used in Computer Science for abstract data type specifications. It is widely believed that many-sorted algebras are the appropriate mathematical tools to explain what abstract data types are ([1]). In this paper we want to extend the concept of a hypersubstitution from the one-sorted to the many-sorted case. Hypersubstitutions
Denecke, Klaus, Lekkoksung, Somsak
openaire +2 more sources
REGULAR WEAK PROJECTION HYPERSUBSTITUTIONS
Asian-European Journal of Mathematics, 2012It is known that there is a Galois connection between submonoids of the monoid consisting of all hypersubstitutions and complete sublattices of the lattice of all varieties of the same type. It is of interest to know which semigroup properties of hypersubstitutions can be transferred by this Galois connection.
Changphas, Thawhat, Hemvong, Wonlop
openaire +2 more sources

