Login / Signup
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid.
Petr Jancar
Published in:
Log. Methods Comput. Sci. (2017)
Keyphrases
</>
search tree
computational models
data sets
communication channels
decision making
metadata
hidden markov models
branch and bound
graph matching