On the public citation graph
Relation algebras and function semigroups
0 signed · 139 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf01162373openalex-snapshot
On the formal definition of categories
inferredcites →https://doi.org/10.1007/bf01362672openalex-snapshot
A composition algebra for multiplace functions
inferredcites →https://doi.org/10.1007/bf02564573openalex-snapshot
Contribution à la théorie des anneaux et des demi-groupes
inferredcites →https://doi.org/10.1016/s1385-7258(54)50075-2openalex-snapshot
Contributions to the Theory of Models. II
inferredcites →https://doi.org/10.1016/s1385-7258(55)50009-6openalex-snapshot
Contributions to the theory of models. III
inferredcites →https://doi.org/10.1017/s0305004100011464openalex-snapshot
On the combination of subalgebras
inferredcites →https://doi.org/10.1090/s0002-9904-1957-10129-3openalex-snapshot
Book Review: Introduction to Mathematical Logic,
inferredcites →https://doi.org/10.1090/s0002-9947-1936-1501865-8openalex-snapshot
The theory of representations for Boolean algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1946-0018635-9openalex-snapshot
Complemented Modular Lattices and Projective Spaces of Infinite Dimension
inferredcites →https://doi.org/10.1090/s0002-9947-1959-0108459-5openalex-snapshot
Representation of Modular Lattices and Of Relation Algebras
inferredcites →https://doi.org/10.2307/1969038openalex-snapshot
On Closed Elements in Closure Algebras
inferredcites →https://doi.org/10.2307/1969375openalex-snapshot
The Representation of Relational Algebras
inferredcites →https://doi.org/10.2307/1969611openalex-snapshot
The Representation of Relation Algebras, II
inferredcites →https://doi.org/10.2307/1970235openalex-snapshot
Ultraproducts in the Theory of Models
inferredcites →https://doi.org/10.2307/1989664openalex-snapshot
The Theory of Representation for Boolean Algebras
inferredcites →https://doi.org/10.2307/2270900openalex-snapshot
Nonfinitizability of classes of representable cylindric algebras
inferredcites →https://doi.org/10.2307/2372123openalex-snapshot
Boolean Algebras with Operators. Part I
inferredcites →https://doi.org/10.2307/2372335openalex-snapshot
On the Representation of Projective Algebras
inferredcites →https://doi.org/10.24033/bsmf.1401openalex-snapshot
Relations binaires, fermetures, correspondances de Galois
inferredcites →https://doi.org/10.24033/bsmf.1423openalex-snapshot
Équivalences régulières dans un ensemble ordonné
inferredcites →https://doi.org/10.24033/msmf.3openalex-snapshot
Homomorphismes principaux de tas et de groupoïdes
inferredcites →https://doi.org/10.4064/fm-42-2-343-347openalex-snapshot
On the extending of models (II)
inferredcites →https://doi.org/10.4153/cjm-1951-005-8openalex-snapshot
The Immersibility of a Semigroup into a Group
inferredcites →https://doi.org/10.7146/math.scand.a-10416openalex-snapshot
Modular lattices and Desargues' theorem
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-37792-1_7openalex-snapshot
Constructive Semigroups with Apartness: A State of the Art
inferred← citeshttps://doi.org/10.1007/978-3-031-37792-1_8openalex-snapshot
Algebraic Approaches to the Analysis of Social Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-04639-1_6openalex-snapshot
Domain and Antidomain Semigroups
inferred← citeshttps://doi.org/10.1007/978-3-662-21571-5_15openalex-snapshot
Subgroups of Binary Relations
inferred← citeshttps://doi.org/10.1007/978-3-7091-6045-9_17openalex-snapshot
Commentary on the Algebra of Analysis and Algebra of Functions
inferred← citeshttps://doi.org/10.1007/bf00370684openalex-snapshot
Algebraization of quantifier logics, an introductory overview
inferred← citeshttps://doi.org/10.1007/bf00967537openalex-snapshot
Characteristics of multiplace functionP-algebras
inferred← citeshttps://doi.org/10.1007/bf00976220openalex-snapshot
Modification tolerance of fuzzy-state automata
inferred← citeshttps://doi.org/10.1007/bf01225472openalex-snapshot
The equational theory of union-free algebras of relations
inferred← citeshttps://doi.org/10.1007/bf02018162openalex-snapshot
Combinatorial properties of binary semigroups
inferred← citeshttps://doi.org/10.1007/bf02485415openalex-snapshot
Universal Horn axiom systems for lattices of submodules
inferred← citeshttps://doi.org/10.1007/bf02485417openalex-snapshot
Embedding and unsolvability theorems for modular lattices
inferred← citeshttps://doi.org/10.1007/bf02485739openalex-snapshot
The class of sublattices of normal subgroup lattices is not elementary
inferred← citeshttps://doi.org/10.1007/bf02572286openalex-snapshot
Theorie des classes dans un demi-groupe involutif
inferred← citeshttps://doi.org/10.1007/bf02572502openalex-snapshot
S-sets and semigroups of quotients
inferred← citeshttps://doi.org/10.1007/bf02572556openalex-snapshot
Fundamental order relations on inverse semigroups and on their generalizations
inferred← citeshttps://doi.org/10.1007/bf02575522openalex-snapshot
Representation of inverse semigroups by local automorphisms and multi-automorphisms of groups and rings
inferred← citeshttps://doi.org/10.1007/bf02674896openalex-snapshot
On quasi-identities of relation algebras with diophantine operations
inferred← citeshttps://doi.org/10.1007/bf02684080openalex-snapshot
Reducts of Tarski relation algebras
inferred← citeshttps://doi.org/10.1007/bf02945026openalex-snapshot
A representation theorem for lattices
inferred← citeshttps://doi.org/10.1007/pl00020981openalex-snapshot
On Definability of Hypergraphs by Their Semigroups of Homomorphisms
inferred← citeshttps://doi.org/10.1007/s00012-011-0152-1openalex-snapshot
Axioms for function semigroups with agreement quasi-order
inferred← citeshttps://doi.org/10.1007/s00012-011-0162-zopenalex-snapshot
Generalized heaps, inverse semigroups and Morita equivalence
inferred← citeshttps://doi.org/10.1007/s00012-013-0257-9openalex-snapshot
Rings with kernel inclusion quasiorder
inferred← citeshttps://doi.org/10.1007/s00012-014-0313-0openalex-snapshot
On Varieties of Groupoids of Relations with Operation of Binary Cylindrification
inferred← citeshttps://doi.org/10.1007/s00012-015-0349-9openalex-snapshot
Groups with fix-set quasi-order
inferred← citeshttps://doi.org/10.1007/s00012-017-0452-1openalex-snapshot
Algebras of multiplace functions for signatures containing antidomain
inferred← citeshttps://doi.org/10.1007/s00012-018-0558-0openalex-snapshot
On generalized subreducts of Tarski’s algebras of relations with the operation of bi-directional intersection
inferred← citeshttps://doi.org/10.1007/s00012-020-00677-3openalex-snapshot
On Jónsson’s problem for groupoids of relations with operation of binary cylindrification
inferred← citeshttps://doi.org/10.1007/s00012-021-00719-4openalex-snapshot
Axioms for signatures with domain and demonic composition
inferred← citeshttps://doi.org/10.1007/s00012-021-00730-9openalex-snapshot
On algebras of binary relations with conjunctive operations
inferred← citeshttps://doi.org/10.1007/s00012-023-00826-4openalex-snapshot
On the variety generated by generalized subreducts of Tarski’s algebras of relations
inferred← citeshttps://doi.org/10.1007/s00233-010-9279-1openalex-snapshot
Actions and partial actions of inductive constellations
inferred← citeshttps://doi.org/10.1007/s00233-012-9436-9openalex-snapshot
Semigroup actions on posets and preimage quasi-orders
inferred← citeshttps://doi.org/10.1007/s00233-015-9695-3openalex-snapshot
On partially ordered semigroups of relations with domino operations
inferred← citeshttps://doi.org/10.1007/s00233-025-10521-6openalex-snapshot
On groupoids associated with involution semigroups
inferred← citeshttps://doi.org/10.1007/s00233-025-10531-4openalex-snapshot
Minimal signatures with undecidability of representability by binary relations
inferred← citeshttps://doi.org/10.1007/s002330010045openalex-snapshot
Embedding Actions of Cancellative Directed Semigroups
inferred← citeshttps://doi.org/10.1007/s11225-022-09993-2openalex-snapshot
On Groupoids of Relations with One Conjunctive Operation of Rank 2
inferred← citeshttps://doi.org/10.1016/0021-8693(91)90242-zopenalex-snapshot
Semigroups and ordered categories. I. The reduced case
inferred← citeshttps://doi.org/10.1016/0024-3795(84)90158-7openalex-snapshot
Boolean-rank-preserving operators and Boolean-rank-1 spaces
inferred← citeshttps://doi.org/10.1016/0315-0860(92)90054-fopenalex-snapshot
Zur Geschichte des Halbgruppenbegriffs
inferred← citeshttps://doi.org/10.1016/0378-8733(79)90001-7openalex-snapshot
The universal semigroup of relations
inferred← citeshttps://doi.org/10.1016/j.disc.2005.11.033openalex-snapshot
The completeness problem in partial hyperclones
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2012.11.029openalex-snapshot
On representing semigroups with subsemilattices
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2021.02.038openalex-snapshot
Ehresmann theory and partition monoids
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2022.03.039openalex-snapshot
Difference–restriction algebras of partial functions with operators: Discrete duality and completion
inferred← citeshttps://doi.org/10.1016/j.jlamp.2014.08.007openalex-snapshot
Monoids with tests and the algebra of possibly non-halting programs
inferred← citeshttps://doi.org/10.1016/j.jpaa.2011.10.015openalex-snapshot
Proper two-sided restriction semigroups and partial actions
inferred← citeshttps://doi.org/10.1016/j.jpaa.2015.11.003openalex-snapshot
The algebra of functions with antidomain and range
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70008-9openalex-snapshot
I. Bibliography of Cylindric Algebras and Related Algebraic Structures
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00027-4openalex-snapshot
Complexity of equations valid in algebras of relations part I: Strong non-finitizability
inferred← citeshttps://doi.org/10.1017/s0960129509007543openalex-snapshot
Boolean and classical restriction categories
inferred← citeshttps://doi.org/10.1017/s1446788700022503openalex-snapshot
Semigroups of constant maps
inferred← citeshttps://doi.org/10.1017/s1446788708000542openalex-snapshot
PARTIAL ACTIONS OF INVERSE AND WEAKLY LEFT E-AMPLE SEMIGROUPS
inferred← citeshttps://doi.org/10.1070/sm1971v013n04abeh003698openalex-snapshot
REPRESENTATION OF ORDERED PROJECTION SEMIGROUPS
inferred← citeshttps://doi.org/10.1080/00927870802625562openalex-snapshot
Partial Maps with Domain and Range: Extending Schein's Representation
inferred← citeshttps://doi.org/10.1080/00927870902887096openalex-snapshot
Restriction Semigroups and Inductive Constellations
inferred← citeshttps://doi.org/10.1080/00927872.2014.937533openalex-snapshot
Domain and Range Operations in Semigroups and Rings
inferred← citeshttps://doi.org/10.1090/s0002-9947-08-04798-3openalex-snapshot
Relatively inherently nonfinitely q-based semigroups
inferred← citeshttps://doi.org/10.1090/s0002-9947-1975-0376462-5openalex-snapshot
On the representation of lattices by modules
inferred← citeshttps://doi.org/10.1093/jigpal/jzac058openalex-snapshot
Restriction in Program Algebra
inferred← citeshttps://doi.org/10.1109/ismvl.2002.1011064openalex-snapshot
Partial hyperclones on a finite set
inferred← citeshttps://doi.org/10.1134/s0001434619110221openalex-snapshot
On Classes of Generalized Subreducts of Tarski’s Relation Algebras with One Diophantine Binary Operation
inferred← citeshttps://doi.org/10.1134/s1995080220020043openalex-snapshot
On Algebras of Relations with Operations of Left and Right Reflexive Product
inferred← citeshttps://doi.org/10.1142/9789812792310_0016openalex-snapshot
TRANSFORMATION SEMIGROUPS: PAST, PRESENT AND FUTURE
inferred← citeshttps://doi.org/10.1142/9789814366311_0018openalex-snapshot
Restriction and Ehresmann Semigroups
inferred← citeshttps://doi.org/10.1142/s0218196706003426openalex-snapshot
IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
inferred← citeshttps://doi.org/10.1142/s0218196709005354openalex-snapshot
SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
inferred← citeshttps://doi.org/10.1142/s0218196711006844openalex-snapshot
MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
inferred← citeshttps://doi.org/10.12958/adm2173openalex-snapshot
Structure of relatively free n-tuple semigroups
inferred← citeshttps://doi.org/10.14232/actasm-015-283-5openalex-snapshot
Linear representations of regular rings and complemented modular lattices with involution
inferred← citeshttps://doi.org/10.1515/ms-2017-0180openalex-snapshot
Idempotents, group membership and their applications
inferred← citeshttps://doi.org/10.18287/2541-7525-2020-26-1-23-51openalex-snapshot
SEMIGROUPS OF BINARY OPERATIONS AND MAGMA-BASED CRYPTOGRAPHY
inferred← citeshttps://doi.org/10.18500/1816-9791-2015-15-1-13-22openalex-snapshot
On Variety of Semigroups of Reletions with Operation of Reflexive Double Cylindrification
inferred← citeshttps://doi.org/10.18500/1816-9791-2015-15-1-22-27openalex-snapshot
Comparison Standards Method for Solving of the Multi-criterion Discrete Optimization Problems
inferred← citeshttps://doi.org/10.18500/1816-9791-2020-20-3-280-289openalex-snapshot
On Semigroups of Relations with the Operation of Left and Right Rectangular Products
inferred← citeshttps://doi.org/10.18500/1816-9791-2026-26-3-323-334openalex-snapshot
On associative conjunctive operations on binary relations
inferred← citeshttps://doi.org/10.2178/jsl.7704090openalex-snapshot
Undecidability of representability as binary relations
inferred← citeshttps://doi.org/10.22405/2226-8383-2018-19-1-26-34openalex-snapshot
О базисах тождеств многообразий группоидов отношений
inferred← citeshttps://doi.org/10.2307/1997388openalex-snapshot
On the Representation of Lattices by Modules
inferred← citeshttps://doi.org/10.23638/lmcs-13(2:10)2017openalex-snapshot
Disjoint-union partial algebras
inferred← citeshttps://doi.org/10.3103/s1066369x14080106openalex-snapshot
Identities of semigroups of relations with an operator of reflexive double cylindrification
inferred← citeshttps://doi.org/10.3103/s1066369x15020097openalex-snapshot
On identities of relation algebras with domino operations
inferred← citeshttps://doi.org/10.3103/s1066369x18080029openalex-snapshot
Identities of Groupoids of Relations With Operation of Cylindered Intersection
inferred← citeshttps://doi.org/10.4213/mzm12020openalex-snapshot
О классах обобщенных подредуктов алгебр отношений Тарского с одной диофантовой бинарной операцией
inferred← citeshttps://doi.org/10.46793/match.97-1.08726openalex-snapshot
Fuzzy Order-Theoretic Models for Molecular Structures Based on Property-Induced Posets with Connections to Baer Semigroups
inferred← citeshttps://doi.org/10.70675/2ec0f13dz82b9z4f75z946bze332b697a302openalex-snapshot
Foncteurs de correspondances généralisées
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.