Login / Signup

Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence.

Wan J. FokkinkRob van GlabbeekBas Luttik
Published in: Inf. Comput. (2019)
Keyphrases
  • modal logic
  • stability analysis
  • decomposition method
  • database
  • decomposition methods
  • relational databases
  • decomposition algorithm
  • socio technical
  • modal operators
  • asymptotic stability
  • mathematical formulas