Results 1 - 10
of
43
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 89 (23 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 68 (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.
