Concepedia

On graph reasoning

Renata de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Petrúcio Viana

Information and Computation · 2009 · 11 citations · 16 references

DOI

References

16

On the calculus of relations

Alfred Tarski · Journal of Symbolic Logic · 1941 · 813 citations

, , +13

The Representation of Relational Algebras

Roger C. Lyndon · Annals of Mathematics · 1950 · 169 citations

, , +12

The origin of relation algebras in the development and axiomatization of the calculus of relations

Roger D. Maddux · Studia Logica · 1991 · 127 citations

, , +7

Relation algebras and function semigroups

Boris M. Schein · Semigroup Forum · 1970 · 105 citations

, , +6

A Calculus for Recursive Program Schemes.

J. W. de Bakker, Willem P. de Roever · International Colloquium on Automata, Languages and Programming · 1972 · 101 citations

, , +10