Login / Signup
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity.
Wan J. Fokkink
Rob J. van Glabbeek
Paulien de Wind
Published in:
Inf. Comput. (2012)
Keyphrases
</>
branch and bound
modal logic
decomposition method
digital libraries
image decomposition
modal operators
data structure
search tree
socio technical
decomposition methods
real time
learning algorithm
website
pairwise