References

1. .
2. doi:10.23638/LMCS-14(1:8)2018.
3. doi:10.1109/lics.2017.8005147. ArXiv:1610.06908.
4. doi:10.1215/S0012-7094-37-00334-X.
5. .
6. doi:10.1007/s10472-009-9141-x. ArXiv:0902.0514.
7. doi:10.48550/arXiv.2005.02975. ArXiv:2005.02975.
8. doi:10.1109/LICS56636.2023.10175726. ArXiv:2304.09216.
9. doi:10.48550/arXiv.2305.06288.
10. doi:10.1145/3531130.3533352. ArXiv:2205.08952.
11. .
12. .
13. doi:10.1109/LICS.2019.8785895. ArXiv:1902.03831.
14. .
15. doi:10.4230/LIPIcs.CALCO.2019.20. Available at http://drops.dagstuhl.de/opus/volltexte/2019/11448.
16. doi:10.1016/0304-3975(91)90085-G. Available at https://www.sciencedirect.com/science/article/pii/030439759190085G.
17. .

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org