Results 1 to 10 of about 195,009 (111)
Reversible Barbed Congruence on Configuration Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 A standard contextual equivalence for process algebras is strong barbed congruence. Configuration structures are a denotational semantics for processes in which one can define equivalences that are more discriminating, i.e.
Clément Aubert, Ioana Cristescu
doaj +9 more sources
Congruency, Homomorphism and Isomorphism on Autometrized Algebras [version 2; peer review: 2 approved, 1 approved with reservations] [PDF]
F1000ResearchThis paper presents a study of congruence relations on autometrized algebras. We demonstrate that in a normal autometrized algebra, which satisfies certain conditions, the set of all congruence relations forms a complete sublattice within the set of all ...
Gebrie Yeshiwas Tilahun
doaj +2 more sources
Thermodynamics of Horizons from a Dual Quantum System
Entropy, 2007 It was shown recently that, in the case of Schwarschild black hole, one can obtainthe correct thermodynamic relations by studying a model quantum system and using a partic-ular duality transformation. We study this approach further for the case a general
T. Padmanabhan, Sudipta Sarkar
doaj +4 more sources
Distributive lattices with strong endomorphism kernel property as direct sums [PDF]
Categories and General Algebraic Structures with Applications, 2020 Unbounded distributive lattices which have strong endomorphism kernel property (SEKP) introduced by Blyth and Silva in [3] were fully characterized in [11] using Priestley duality (see Theorem 2.8}). We shall determine the structure of special elements (
Jaroslav Gurican
doaj +1 more source
Model Abstraction for Discrete-Event Systems Using a SAT Solver
IEEE Access, 2023 Model abstraction for finite state automata is beneficial to reduce the complexity of discrete-event systems (DES), enhance the readability and facilitate the control synthesis and verification of DES.
Lihong Cheng, Lei Feng
doaj +1 more source
QUOTIENT SEMINEAR-RINGS OF THE ENDOMORPHISM OF SEMINEAR-RINGS
Barekeng, 2022 A seminear-ring is a generalization of ring. In ring theory, if is a ring with the multiplicative identity, then the endomorphism module is isomorphic to . Let be a seminear-ring.
Meryta Febrilian Fatimah +2 more
doaj +1 more source
Frontiers in Psychology, 2021 Adolescent smartphone addiction has increasingly attracted the attention of scholars because of the widespread use of internet technology in educational environments.
Yang Li +8 more
doaj +1 more source
THE LATTICE OF CONGRUENCES ON A TERNARY SEMIGROUP [PDF]
Journal of Algebraic Systems, 2018 In this paper we investigate some properties of congruences on ternary semigroups. We also define the notion of congruence on a ternary semigroup generated by a relation and we determine the method of obtaining a congruence on a ternary semigroup T from a
N. Ashrafi, Z. Yazdanmehr
doaj +1 more source
Regular omega-Languages with an Informative Right Congruence [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 A regular language is almost fully characterized by its right congruence relation. Indeed, a regular language can always be recognized by a DFA isomorphic to the automaton corresponding to its right congruence, henceforth the Rightcon automaton. The same
Dana Angluin, Dana Fisman
doaj +1 more source
Endomorphism kernel property for finite groups [PDF]
Mathematica Bohemica, 2022 A group $G$ has the endomorphism kernel property (EKP) if every congruence relation $\theta$ on $G$ is the kernel of an endomorphism on $G$. In this note we show that all finite abelian groups have EKP and we show infinite series of finite non-abelian ...
Heghine Ghumashyan, Jaroslav Guričan
doaj +1 more source