TY  - RPRT
TI  - Complexity of regular abstractions of one-counter languages
AU  - Mohamed Faouzi Atig
AU  - Dmitry Chistikov
AU  - Piotr Hofman
AU  - K Narayan Kumar
AU  - Prakash Saivasan
AU  - Georg Zetzsche
PY  - 2016
UR  - https://arxiv.org/abs/1602.03419
ID  - 1602.03419
ER  -