Login / Signup
Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity.
Wan J. Fokkink
Rob J. van Glabbeek
Published in:
CoRR (2016)
Keyphrases
</>
modal logic
case study
long term
decomposition method
decomposition algorithm
learning algorithm
nonmonotonic logics
hierarchical decomposition
weak signal