TY  - RPRT
TI  - Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence
AU  - Petr Jancar
PY  - 2019
UR  - https://arxiv.org/abs/1305.0516
ID  - 1305.0516
ER  -