
Conferences in DBLP
Knowledge and Structure in Social Algorithms. [Citation Graph (, )][DBLP]
Computational Social Choice Using Relation Algebra and RelView. [Citation Graph (, )][DBLP]
A Model of Internet Routing Using Semimodules. [Citation Graph (, )][DBLP]
Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs. [Citation Graph (, )][DBLP]
Towards Algebraic Separation Logic. [Citation Graph (, )][DBLP]
Domain and Antidomain Semigroups. [Citation Graph (, )][DBLP]
Composing Partially Ordered Monads. [Citation Graph (, )][DBLP]
A RelationAlgebraic Approach to Liveness of Place/Transition Nets. [Citation Graph (, )][DBLP]
*Continuous Idempotent Left Semirings and Their Ideal Completion. [Citation Graph (, )][DBLP]
A Semiring Approach to Equivalences, Bisimulations and Control. [Citation Graph (, )][DBLP]
General Correctness Algebra. [Citation Graph (, )][DBLP]
Foundations of Concurrent Kleene Algebra. [Citation Graph (, )][DBLP]
Armstrong's Inference Rules in Dedekind Categories. [Citation Graph (, )][DBLP]
Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage. [Citation Graph (, )][DBLP]
Collagories for Relational Adhesive Rewriting. [Citation Graph (, )][DBLP]
Cardinal Addition in Distributive Allegories. [Citation Graph (, )][DBLP]
Relational Methods in the Analysis of While Loops: Observations of Versatility. [Citation Graph (, )][DBLP]
Modalities, Relations, and Learning. [Citation Graph (, )][DBLP]
The Cube of Kleene Algebras and the Triangular Prism of Multirelations. [Citation Graph (, )][DBLP]
Discrete Duality for Relation Algebras and Cylindric Algebras. [Citation Graph (, )][DBLP]
Contact Relations with Applications. [Citation Graph (, )][DBLP]
A While Program Normal Form Theorem in Total Correctness. [Citation Graph (, )][DBLP]
Complements in Distributive Allegories. [Citation Graph (, )][DBLP]
On the Skeleton of Stonian pOrtholattices. [Citation Graph (, )][DBLP]
