Equivalences among Logics of Programs.

Albert R. Meyer Jerzy Tiuryn

Published in: J. Comput. Syst. Sci. (1984)

Keyphrases

expressive power
modal logic
real time
learning algorithm
connected components
relational algebra
computer programs
proof theory
real world
high level
higher order