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