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
Citace podle Chicago (17th ed.)Lin, Anthony W., a 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.
Citace podle MLA (9th ed.)Lin, Anthony W., a 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.