Embedding a demonic semilattice in a relation algebra

On the calculus of relations

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

Humanities, Mathematics, Philosophy +13

Louise H. Chin and Alfred Tarski. Distributive and modular laws in the arithmetic of relation algebras. University of California publications in mathematics, n.s. vol. 1 no. 9 (1951), pp. 341–384.

J Büchi · Journal of Symbolic Logic · 1953 · 148 citations

Natural Sciences, Mathematics, Algebra +4

The weakest prespecification

C. A. R. Hoare, Jifeng He · Information Processing Letters · 1987 · 147 citations

Mathematical Structures for Computer Science.

Edward Dubinsky, Judith L. Gersting · American Mathematical Monthly · 1984 · 146 citations

Computing, Computer Science, Mathematics +7

A Calculus for Recursive Program Schemes.

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

Computing, Computer Science, Mathematics +10