Kamal Lodaya, A. V. Sreejith
Two-Variable First Order Logic with Counting Quantifiers: Complexity Results
DLT, 2017.
@inproceedings{DLT-2017-LodayaS, author = "Kamal Lodaya and A. V. Sreejith", booktitle = "{Proceedings of the 21st International Conference on Developments in Language Theory}", doi = "10.1007/978-3-319-62809-7_19", isbn = "['978-3-319-62808-0', '978-3-319-62809-7']", pages = "260--271", publisher = "{Springer}", title = "{Two-Variable First Order Logic with Counting Quantifiers: Complexity Results}", year = 2017, }