Oscar H. Ibarra, Ian McQuillan
Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties
DLT, 2017.
@inproceedings{DLT-2017-IbarraM, author = "Oscar H. Ibarra and Ian McQuillan", booktitle = "{Proceedings of the 21st International Conference on Developments in Language Theory}", doi = "10.1007/978-3-319-62809-7_17", isbn = "['978-3-319-62808-0', '978-3-319-62809-7']", pages = "235--246", publisher = "{Springer}", title = "{Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties}", year = 2017, }