On the public citation graph
The validity of equations of complex algebras
0 signed · 45 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.1017/s0305004100013463openalex-snapshot
On the Structure of Abstract Algebras
inferredcites →https://doi.org/10.2307/2268172openalex-snapshot
The decision problem for some classes of sentences without quantifiers
inferredcites →https://doi.org/10.2307/2372123openalex-snapshot
Boolean Algebras with Operators. Part I
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.70018openalex-snapshot
Right‐Continuous Mappings and Fuzzy Ideals
inferred← citeshttps://doi.org/10.1007/3-540-60117-1_21openalex-snapshot
A general scheme for breadth-first graph traversal
inferred← citeshttps://doi.org/10.1007/978-1-4020-2393-4_21openalex-snapshot
Computing with Analyzed Shapes
inferred← citeshttps://doi.org/10.1007/978-3-030-02508-3_9openalex-snapshot
Layer by Layer – Combining Monads
inferred← citeshttps://doi.org/10.1007/978-3-030-31038-7_1openalex-snapshot
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-57262-3_2openalex-snapshot
Monadic Intersection Types, Relationally
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_5openalex-snapshot
Relational Patterns, Partiality, and Set Lifting in Modal Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-52228-9_1openalex-snapshot
A Discrete Geometric Model of Concurrent Program Execution
inferred← citeshttps://doi.org/10.1007/bf00370636openalex-snapshot
R?-algebras and R?-model structures as power constructs
inferred← citeshttps://doi.org/10.1007/bf02945106openalex-snapshot
Permanence of identities on algebras
inferred← citeshttps://doi.org/10.1007/pl00000354openalex-snapshot
Axiomatizing complex algebras by games
inferred← citeshttps://doi.org/10.1007/s00012-020-00680-8openalex-snapshot
Lattices do not distribute over powerset
inferred← citeshttps://doi.org/10.1007/s00012-023-00805-9openalex-snapshot
Catoids and modal convolution algebras
inferred← citeshttps://doi.org/10.1007/s10485-025-09817-zopenalex-snapshot
Higher Catoids, Higher Quantales and their Correspondences
inferred← citeshttps://doi.org/10.1016/0167-6423(95)00030-5openalex-snapshot
Deriving a class of layer-oriented graph algorithms
inferred← citeshttps://doi.org/10.1016/0304-3975(86)90050-2openalex-snapshot
Equivalences and transformations of regular systems—Applications to recursive program schemes and grammars
inferred← citeshttps://doi.org/10.1016/b978-0-12-046370-1.50009-7openalex-snapshot
On Recognizable Sets and Tree Automata
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.113openalex-snapshot
On Combining Probability and Nondeterminism
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.086openalex-snapshot
Extending Algebraic Operations to D-Completions
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.09.012openalex-snapshot
Developments in concurrent Kleene algebra
inferred← citeshttps://doi.org/10.1016/j.tcs.2007.02.061openalex-snapshot
Discrete random variables over domains
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.02.015openalex-snapshot
Extending algebraic operations to D -completions
inferred← citeshttps://doi.org/10.1017/s000497270004380xopenalex-snapshot
On varieties closed under the construction of power algebras
inferred← citeshttps://doi.org/10.1017/s0890060405050183openalex-snapshot
Shape decompositions and their algebras
inferred← citeshttps://doi.org/10.1017/s0960129505005074openalex-snapshot
Distributing probability over non-determinism
inferred← citeshttps://doi.org/10.1023/b:logi.0000003922.76154.69openalex-snapshot
False Though Partly True – An Experiment in Logic
inferred← citeshttps://doi.org/10.1051/ita/197610r200571openalex-snapshot
Équivalence entre la famille des ensembles réguliers et la famille des ensembles algébriques
inferred← citeshttps://doi.org/10.1051/ita/1982160302251openalex-snapshot
Modèles non déterministes de types abstraits
inferred← citeshttps://doi.org/10.1080/16073606.1984.9632323openalex-snapshot
SECOND-ORDER BOOLEAN ALGEBRAS
inferred← citeshttps://doi.org/10.1080/16073606.1986.9632109openalex-snapshot
POWER STRUCTURES AND LOGIC
inferred← citeshttps://doi.org/10.1080/16073606.1993.9631724openalex-snapshot
CATEGORICAL ASPECTS OF POWER ALGEBRAS
inferred← citeshttps://doi.org/10.1093/logcom/exac105openalex-snapshot
Modal structures in groups and vector spaces
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470633openalex-snapshot
A Relational Theory of Monadic Rewriting Systems, Part I
inferred← citeshttps://doi.org/10.1109/sfcs.1985.23openalex-snapshot
Equivalences and transformations of recursive definitions
inferred← citeshttps://doi.org/10.26686/ajl.v11i1.2044openalex-snapshot
Power Matrices and Dunn-Belnap Semantics: Reflections on a Remark of Graham Priest
inferred← citeshttps://doi.org/10.48550/arxiv.1710.02594openalex-snapshot
Fibred Computational Effects
inferred← citeshttps://doi.org/10.70675/9adce0d7z9bc9z4bb4z9ec0z5dbc68a045b9openalex-snapshot
Algebraic and topological models of directed systems : Exploring dimensions of calculation via algebraic, categorical, and homotopical approaches
inferred← citeshttps://doi.org/10.70675/bae6e60bz6d6ez4e30z81e4z3dfa94433bfcopenalex-snapshot
On the compositionality of monads via weak distributive laws
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.