| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{AtigChistikovHofman-Thecomplexityofregu,
author = {Mohamed Faouzi Atig and Dmitry Chistikov and Piotr Hofman and K. Narayan Kumar and Prakash Saivasan and Georg Zetzsche},
title = {The complexity of regular abstractions of one-counter languages},
booktitle = {Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016)},
year = {2016},
month = {July},
pages = {207--216},
location = {New York City},
publisher = {IEEE Computer Society Press}
}