Repository | Book | Chapter
On "logical relations" in program semantics
pp. 213-229
Publication details
Published in:
Skordev Dimiter G (1987) Mathematical logic and its applications. Dordrecht, Springer.
Pages: 213-229
DOI: 10.1007/978-1-4613-0897-3_14
Full citation:
Trakhtenbrot Boris A. (1987) „On "logical relations" in program semantics“, In: D.G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, 213–229.