Origins of the Calculus of Binary Relations

Vaughan R. Pratt. Origins of the Calculus of Binary Relations. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 248-254, IEEE Computer Society, 1992.

Authors

Vaughan R. Pratt

This author has not been identified. Look up 'Vaughan R. Pratt' in Google