Results 1 to 10 of about 42,222 (303)
Definable isomorphism problem [PDF]
Logical Methods in Computer Science, 2019 We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism?
Khadijeh Keshvardoost +4 more
doaj +3 more sources
Homomorphism and Isomorphism of Neutrosophic Over Topologized Graphs [PDF]
Neutrosophic Sets and Systems, 2023 In this paper introduce the homomorphism, isomorphism, weak isomorphism and co-weak isomorphism of Neutrosophic over topologized graphs. Some properties of isomorphism are introduced.
G. Muthumari, R. Narmada Devi
doaj +1 more source
Fundamental Homomorphism Theorems for Neutrosophic Triplet Module [PDF]
Neutrosophic Sets and Systems, 2021 In this chapter, our aim is to prove neutro-isomorphism theorems. We define the quotient NT quotient Module and prove the fundamental theorem of neutro-homomorphism. Also, we present and prove the first neutro-isomorphism theorem for neutrosopfic triplet
Mohammad Abobala +2 more
doaj +1 more source
The birth of the Japan Aquarium Association
Annals of Business Administrative Science, 2022 The isomorphic mechanisms of organizations are known to consist of institutional isomorphism (coercive isomorphism, mimetic isomorphism, and normative isomorphism) and competitive isomorphism.
Koji Yamada
doaj +1 more source
Jurnal HAM, 2023 This study explains how isomorphism develops in the Indonesian Witness and Victim Protection Agency (Lembaga Perlindungan Saksi dan Korban-LPSK) and contributes to stronger coordination among institutions in administering psychological services for crime
Mahari Is Subangun +1 more
doaj +1 more source
A Novel Study of Graphs Based on m-Polar Cubic Structures
Journal of Function Spaces, 2022 By combining the notions of interval-valued m-polar fuzzy graphs and m-polar fuzzy graphs, the notion of m-polar cubic graphs is first introduced. Then, the degree of a vertex in m-polar cubic graphs and complete m-polar cubic graphs is defined.
G. Muhiuddin +4 more
doaj +1 more source
Efficient Enumeration of Higher Order Algebraic Structures
IEEE Access, 2020 Algebraic structures are widely studied mathematical structures in abstract algebra. Enumerating higher order algebraic structures is a computationally intensive task due to large number of possible permutations and the presence of many symmetrically ...
Majid Ali Khan
doaj +1 more source
On Isomorphism of "Functional" Intersection and Union Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Type isomorphism is useful for retrieving library components, since a function in a library can have a type different from, but isomorphic to, the one expected by the user.
Mario Coppo +3 more
doaj +1 more source
Category Theory and New Classes of Semi Bornological Group
Journal of Kufa for Mathematics and Computer, 2023 Because, the new knowledge put every new structure in category theory. So, became a source of interest for many researchers, to put every new structure in category theory. This motivates us to put the new structures of semibornological group in category.
Niran Sabah Jasim +3 more
doaj +1 more source
Toward Isomorphism of Intersection and Union types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other.
Mario Coppo +3 more
doaj +1 more source