Thakkar, A., Sands, N., Petrou, G., Alur, R., Naik, M., & Raghothaman, M. (2023). Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. Proceedings of ACM on programming languages, 7(OOPSLA2), 1394-1417. https://doi.org/10.1145/3622847
Chicago-Zitierstil (17. Ausg.)Thakkar, Aalok, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, und Mukund Raghothaman. "Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates." Proceedings of ACM on Programming Languages 7, no. OOPSLA2 (2023): 1394-1417. https://doi.org/10.1145/3622847.
MLA-Zitierstil (9. Ausg.)Thakkar, Aalok, et al. "Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates." Proceedings of ACM on Programming Languages, vol. 7, no. OOPSLA2, 2023, pp. 1394-1417, https://doi.org/10.1145/3622847.