A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes.

Yoram Hirshfeld Mark Jerrum Faron Moller

Published in: Theor. Comput. Sci. (1996)

Keyphrases

dynamic programming
learning algorithm
matching algorithm
knowledge base
search space
classification algorithm
context free