Results 171 to 180 of about 7,841 (218)
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method [PDF]
, 2017 We study Abramsky's applicative bisimilarity abstractly, in the context of call-by-value λ-calculi with algebraic effects. We first of all endow a computational λ-calculus with a monadic operational semantics.
Ugo Dal Lago +2 more
exaly +3 more sources
An Investigation Into the Cyclically Presented Groups With Length Three Positive Relators [PDF]
Experimental Mathematics, 2022 We continue research into the cyclically presented groups with length three positive relators. We study small cancelation conditions, SQ-universality, and hyperbolicity, we obtain the Betti numbers of the groups’ abelianisations, we calculate the orders ...
Gerald Williams
exaly +2 more sources
All Hyperbolic Cyclically Presented Groups With Positive Length Three Relators [PDF]
Journal of Pure and Applied AlgebraWe consider the cyclically presented groups defined by cyclic presentations with $2m$ generators $x_i$ whose relators are the $2m$ positive length three relators $x_ix_{i+1}x_{i+m-1}$. We show that they are hyperbolic if and only if $m\in \{1,2,3,6,9\}$.
Ihechukwu Chinyere, Gerald Williams
exaly +2 more sources
Introduction: Complex Adpositions and Complex Nominal Relators
, 2020 International audienceIn this introductory chapter, we address the issue of the existence and definition of complex adpositions – and complex nominal relators in general –, and provide a working definition on the basis of the existing literature on the ...
Benjamin Fagard, Dejan Stosic
exaly +2 more sources
Some of the next articles are maybe not open access.
Categories of Relations and Functional Relations
Applied Categorical Structures, 2000Abstract: "We define relations and their composition in a category with ([Epsilon,Mu])-factorization structure, with [Mu] consisting of monomorphisms, but [Epsilon] not restricted to epimorphisms. We obtain an associativity criterion for composition of relations, and we study functional and induced relations."
Romaine Jayewardene, Oswald Wyler
openaire +2 more sources
Relational Contexts and Relational Concepts
Fundamenta Informaticae, 2010Formal concept analysis (FCA) is a mathematical description and theory of concepts implied in formal contexts. And the current formal contexts of FCA aim to model the binary relations between individuals (objects) and attributes in the real world. In the real world we usually describe each individual by some attributes, which induces the relations ...
Feng Jiang, Yuefei Sui, Cungen Cao
openaire +1 more source
Relation algebra with multi-relations
International Journal of Computer Mathematics, 1998This report proposes a theory of multi-relations, which are similar to normal mathematical relations, except for the fact that each tuple has a given multiplicity. It is shown that most of the set-oriented operations on relations, such as union and intersection can be generalised (in the same way in which sets can be generalised to multisets).
Feijs, L.M.G., Krikhaar, R.L.
openaire +2 more sources
On Normalization of Relations in Relational Databases
Programming and Computer Software, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The clone relation of a binary relation
Information Sciences, 2017zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hassane Bouremel +3 more
openaire +2 more sources