Publisher
Springer Nature Switzerland
Reference41 articles.
1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories: The Joy of Cats, vol. 17, pp. 1–507 (2006). http://www.tac.mta.ca/tac/reprints/articles/17/tr17.pdf
2. Apt, K.R., Pedreschi, D.: Reasoning about termination of pure prolog programs. Inf. Comput. 106(1), 109–157 (1993). https://doi.org/10.1006/inco.1993.1051
3. Lecture Notes in Computer Science;N Behr,2021
4. Behr, N., Harmer, R., Krivine, J.: Fundamentals of compositional rewriting theory. CoRR abs/2204.07175 (2022). https://doi.org/10.48550/arXiv.2204.07175
5. Beyer, D.: Progress on software verification: SV-COMP 2022. In: Fisman, D., Rosu, G. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022. LNCS, vol. 13244, pp. 375–402. Springer, Cham (2022). https://doi.org/10.1007/978-3-030-99527-0_20