A Note On Equivalences Among Logics of Programs.

Albert R. Meyer Jerzy Tiuryn

Published in: Logic of Programs (1981)

Keyphrases

expressive power
relational algebra
modal logic
classical logic
fixpoint
logic programs
connected components
control structures
intermediate level
computer programs
answer sets
temporal logic
database systems
case study
website
automatic programming
data sets