On "logical relations

Trakhtenbrot Boris A.

Repository | Book | Chapter

(1987) Mathematical logic and its applications, Dordrecht, Springer.

On "logical relations" in program semantics

Boris A. Trakhtenbrot

pp. 213-229

Publication details

DOI: 10.1007/978-1-4613-0897-3_14

Full citation:

Trakhtenbrot, B. A. (1987)., On "logical relations" in program semantics, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 213-229.

This document is unfortunately not available for download at the moment.