منابع مشابه
Co - rotation , co - rotation
Residuated lattices form the algebraic counterpart of substructural logics [4]. Rotation construction for t-norms has been introduced in [9] and has been generalized to arbitrary residuated posets in [7]. The reader is referred also to [13, 6, 5]. The rotationannihilation construction has been introduced in [10, 7]. The rotation construction has proved fundamental in the structural description ...
متن کاملCrystal structure of [Co(NH3)6][Co(CO)4]2
Hexaamminecobalt(II) bis-[tetra-carbonyl-cobaltate(-I)], [Co(NH3)6][Co(CO)4]2, was synthesized by reaction of liquid ammonia with Co2(CO)8. The Co(II) atom is coordinated by six ammine ligands. The resulting polyhedron, the hexa-amminecobalt(II) cation, exhibits point group symmetry -3. The Co(-I) atom is coordinated by four carbonyl ligands, leading to a tetra-carbonyl-cobaltate(-I) anion in t...
متن کاملHardware/software Co-design and Co-validation
To date, the SCR (Software Cost Reduction) method has been used to specify system requirements. This paper extends the SCR method to hard-ware/software co-design and co-validation. Our approach consists of three steps. First, the SCR method is used to specify the required system behavior, i.e., the required relation between environmental quantities (called monitored quantities) that the system ...
متن کاملCo-ordering and Type 2 co-ordering
In [arXiv:1006.4939] the enumeration order reducibility is defined on natural numbers. For a c.e. set A, [A] denoted the class of all subsets of natural numbers which are co-order with A. In definition 5 we redefine co-ordering for rational numbers. One of the main questions there, was:"For a specific c.e. set A, consider set of all enumerations of it which is generated by some Turing machine {...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: WLBforum
سال: 2021
ISSN: 2747-7290,1615-3820
DOI: 10.53458/wlbf.v23i1.60