1 paper found with doi equals to 10.1145/3209108.3209163.
@inproceedings{BDK18,
address = {New York, NY, USA},
author = {Bojańczyk, Mikołaj and Daviaud, Laure and Krishna, Shankara Narayanan},
booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
doi = {10.1145/3209108.3209163},
isbn = {9781450355834},
location = {Oxford, United Kingdom},
numpages = {10},
pages = {125–134},
publisher = {Association for Computing Machinery},
series = {LICS '18},
title = {Regular and First-Order List Functions},
url = {https://doi.org/10.1145/3209108.3209163},
year = {2018}
}