
Conferences in DBLP
Formal Methods and the Theory of Social Choice. [Citation Graph (, )][DBLP]
Relations Making Their Way from Logics to Mathematics and Applied Sciences. [Citation Graph (, )][DBLP]
Boolean Logics with Relations. [Citation Graph (, )][DBLP]
Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables. [Citation Graph (, )][DBLP]
A Relation Algebraic Semantics for a Lazy Functional Logic Language. [Citation Graph (, )][DBLP]
Latest News about Demonic Algebra with Domain. [Citation Graph (, )][DBLP]
On the Structure of Demonic Refinement Algebras with Enabledness and Termination. [Citation Graph (, )][DBLP]
Multiobjective Problems in Terms of Relational Algebra. [Citation Graph (, )][DBLP]
The Lattice of Contact Relations on a Boolean Algebra. [Citation Graph (, )][DBLP]
A Nonprobabilistic Relational Model of Probabilistic Kleene Algebras. [Citation Graph (, )][DBLP]
Increasing Bisemigroups and Algebraic Routing. [Citation Graph (, )][DBLP]
Lazy Relations. [Citation Graph (, )][DBLP]
The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy. [Citation Graph (, )][DBLP]
The Algebraic Approach II: Dioids, Quantales and Monads. [Citation Graph (, )][DBLP]
Automated Reasoning for Hybrid Systems  Two Case Studies . [Citation Graph (, )][DBLP]
Nontermination in Idempotent Semirings. [Citation Graph (, )][DBLP]
Formal Concepts in Dedekind Categories. [Citation Graph (, )][DBLP]
The Structure of the OneGenerated Free Domain Semiring. [Citation Graph (, )][DBLP]
Determinisation of Relational Substitutions in Ordered Categories with Domain. [Citation Graph (, )][DBLP]
Boolean Algebras and Stone Maps in Schröder Categories. [Citation Graph (, )][DBLP]
Cardinality in Allegories. [Citation Graph (, )][DBLP]
Solving Linear Equations in *continuous Action Lattices. [Citation Graph (, )][DBLP]
Reactive Probabilistic Programs and Refinement Algebra. [Citation Graph (, )][DBLP]
Knowledge and Games in Modal Semirings. [Citation Graph (, )][DBLP]
Theorem Proving Modulo Based on Boolean Equational Procedures. [Citation Graph (, )][DBLP]
Rectangles, Fringes, and Inverses. [Citation Graph (, )][DBLP]
An Ordered Category of Processes. [Citation Graph (, )][DBLP]
Automatic Proof Generation in Kleene Algebra. [Citation Graph (, )][DBLP]
