Paper

Checking equality and regularity for normed BPA with silent moves

Y. Fu, F. V. Fomin, R. Freivalds, M. Z. Kwiatkowska, D. Peleg, "Checking equality and regularity for normed BPA with silent moves", ICALP (2), vol. 7966, pp. 238-249, 2013.

2013

Created by ACM worker at 2019-04-09 16:00:53.0.
Last updated by ACM worker at 2019-04-09 16:01:06.0.