Login / Signup
An extension of Kracht's theorem to generalized Sahlqvist formulas.
Stanislav Kikot
Published in:
J. Appl. Non Class. Logics (2009)
Keyphrases
</>
linear time temporal logic
search space
data sets
database
database systems
control system