Modifications of Expansion Trees for Weak Bisimulation in BPA

@article{Strbrn2002ModificationsOE,
  title={Modifications of Expansion Trees for Weak Bisimulation in BPA},
  author={Jitka Str{\'i}brn{\'a} and Ivana Cern{\'a}},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2002},
  volume={68},
  pages={19-39}
}

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
0 Extracted Citations
0 Extracted References
Similar Papers

Similar Papers

Loading similar papers…