Recursive rules with aggregation: a simple unified semantics. (English) Zbl 07551717
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 156-179 (2022).
MSC:
68-XX