Results 1 to 10 of about 1,618 (72)
Bi-interior, quasi-interior and bi-quasi-interior Γ-hyperideal in Γ-semihyperring [PDF]
Journal of Hyperstructures, 2023 The concept of a Γ-semihyperring is a generalization of a semiring, semihyperring, Γ-semiring. In this Paper we introducethe notion of bi-interior Γ-hyperideals, quasi-interior Γ-hyperideals and bi-quasi-interior Γ-hyperideals in a Γ-semihyperring as a ...
Chaitanya B. Kumbharde +2 more
doaj +1 more source
Prime bi-interior ideals of Γ-semirings [PDF]
Journal of Hyperstructures, 2023 In this paper, we introduce the notion of prime bi-interior ideal, bi-interior ideal,strongly prime bi-interior ideal,semiprime strongly irreducible bi-interior ideal and irreducible bi-interior ideal.we study these ideals properties and relation between
Marapureddy Murali Krishna Rao
doaj +1 more source
Tri-Quasi Ideals of Γ-Semirings
Discussiones Mathematicae - General Algebra and Applications, 2021 In this paper, as a further generalization of ideals, we introduce the notion of tri-quasi ideal as a generalization of ideal, left ideal, right ideal, bi-ideal, quasi ideal, interior ideal, bi-interior ideal,weak interior ideal, bi-quasi ideal, tri ...
Rao Marapureddy Murali Krishna
doaj +1 more source
Separation for dot-depth two [PDF]
, 2020 The dot-depth hierarchy of Brzozowski and Cohen classifies the star-free languages of finite words. By a theorem of McNaughton and Papert, these are also the first-order definable languages.
Place, Thomas, Zeitoun, Marc
core +2 more sources
Weighted Pushdown Systems with Indexed Weight Domains [PDF]
, 2016 The reachability analysis of weighted pushdown systems is a very powerful technique in verification and analysis of recursive programs. Each transition rule of a weighted pushdown system is associated with an element of a bounded semiring representing ...
Minamide, Yasuhiko
core +1 more source
First-Order Provenance Games [PDF]
, 2013 We propose a new model of provenance, based on a game-theoretic approach to query evaluation. First, we study games G in their own right, and ask how to explain that a position x in G is won, lost, or drawn.
A. Gelder Van +14 more
core +1 more source
Weighted Logics for Nested Words and Algebraic Formal Power Series [PDF]
, 2010 Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study nested word series which assign to nested words elements of a semiring. We show
Mathissen, Christian
core +1 more source
The moduli space of matroids [PDF]
, 2018 In the first part of the paper, we clarify the connections between several algebraic objects appearing in matroid theory: both partial fields and hyperfields are fuzzy rings, fuzzy rings are tracts, and these relations are compatible with the respective ...
Baker, Matthew, Lorscheid, Oliver
core +2 more sources
Left Zeroid and Right Zeroid Elements of Γ-Semirings
Discussiones Mathematicae - General Algebra and Applications, 2017 In this paper we introduce the notion of a left zeroid and a right zeroid of Γ -semirings. We prove that, a left zeroid of a simple Γ-semiring M is regular if and only if M is a regular Γ -semiring.
Rao M. Murali Krishna, Kumar K.R.
doaj +1 more source
Enumeration and Decidable Properties of Automatic Sequences [PDF]
, 2011 We show that various aspects of k-automatic sequences -- such as having an unbordered factor of length n -- are both decidable and effectively enumerable. As a consequence it follows that many related sequences are either k-automatic or k-regular.
A. Carpi +21 more
core +2 more sources