Relational methods in computer science
Calculating with acyclic and cyclic lists
Combining relational calculus and the Dijkstra–Gries method for deriving relational programs
Relation algebras can tile
Towards a formal framework for heterogeneous relation algebra
Linking theories in probabilistic programming
An extension of classical functional dependency: dynamic fuzzy functional dependency
Categorical representation theorems of fuzzy relations
Relational matching for graphical calculi of relations
Monomorphic characterization of n-ary direct products
Properties of graphs preserved by relational graph rewritings
A relation algebraic approach to Interaction Categories