Results 1  10
of
45
Combining of Circuits
, 2002
"... this paper. 1. COMBINING OF MANY SORTED SIGNATURES Let S be a many sorted signature. A gate of S is an element of the operation symbols of S ..."
Abstract

Cited by 90 (24 self)
 Add to MetaCart
this paper. 1. COMBINING OF MANY SORTED SIGNATURES Let S be a many sorted signature. A gate of S is an element of the operation symbols of S
Boolean posets, posets under inclusion and products of relational structures
 Journal of Formalized Mathematics
, 1996
"... Summary. In the paper some notions useful in formalization of [11] are introduced, e.g. the definition of the poset of subsets of a set with inclusion as an ordering relation. Using the theory of many sorted sets authors formulate the definition of product of relational structures. ..."
Abstract

Cited by 86 (17 self)
 Add to MetaCart
Summary. In the paper some notions useful in formalization of [11] are introduced, e.g. the definition of the poset of subsets of a set with inclusion as an ordering relation. Using the theory of many sorted sets authors formulate the definition of product of relational structures.
Homomorphisms of many sorted algebras
 Journal of Formalized Mathematics
, 1994
"... Summary. The aim of this article is to present the definition and some properties of homomorphisms of many sorted algebras. Some auxiliary properties of many sorted functions also have been shown. ..."
Abstract

Cited by 69 (1 self)
 Add to MetaCart
Summary. The aim of this article is to present the definition and some properties of homomorphisms of many sorted algebras. Some auxiliary properties of many sorted functions also have been shown.
On the category of posets
 Journal of Formalized Mathematics
, 1996
"... given in [17]. Some of useful notions such as monotone map and the set of monotone maps between relational structures are given. ..."
Abstract

Cited by 31 (7 self)
 Add to MetaCart
given in [17]. Some of useful notions such as monotone map and the set of monotone maps between relational structures are given.
Many sorted quotient algebra
 Journal of Formalized Mathematics
, 1994
"... Summary. This article introduces the construction of a many sorted quotient algebra. A few preliminary notions such as a many sorted relation, a many sorted equivalence relation, a many sorted congruence and the set of all classes of a many sorted relation are also formulated. ..."
Abstract

Cited by 22 (0 self)
 Add to MetaCart
Summary. This article introduces the construction of a many sorted quotient algebra. A few preliminary notions such as a many sorted relation, a many sorted equivalence relation, a many sorted congruence and the set of all classes of a many sorted relation are also formulated.