Login / Signup
Branching Bisimilarity of Normed BPA Processes is in NEXPTIME.
Wojciech Czerwinski
Petr Jancar
Published in:
CoRR (2014)
Keyphrases
</>
branch and bound
process model
upper bound
search tree
data sets
databases
artificial intelligence
learning environment
relational databases
business processes
business process
vector space
belief revision
graph matching