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,
}











