Repository | Directory | Profile
Boris A. Trakhtenbrot
On "logical relations" in program semantics
1987
in: Mathematical logic and its applications, Dordrecht : Springer
European Society
for Phenomenology
European Society
for Phenomenology
Repository | Directory | Profile
On "logical relations" in program semantics
1987
in: Mathematical logic and its applications, Dordrecht : Springer