Lin, A. W., & Majumdar, R. (2021). Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Logical methods in computer science, 17, Issue 4, . https://doi.org/10.46298/lmcs-17(4:4)2021
Chicago-Zitierstil (17. Ausg.)Lin, Anthony W., und Rupak Majumdar. "Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility." Logical Methods in Computer Science 17, Issue 4 (2021). https://doi.org/10.46298/lmcs-17(4:4)2021.
MLA-Zitierstil (9. Ausg.)Lin, Anthony W., und Rupak Majumdar. "Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility." Logical Methods in Computer Science, vol. 17, Issue 4, 2021, https://doi.org/10.46298/lmcs-17(4:4)2021.