Chistikov, D., Haase, C., & Mansutti, A. (2022). Quantifier elimination for counting extensions of Presburger arithmetic. Springer.
Citace podle Chicago (17th ed.)Chistikov, D., C. Haase, a A. Mansutti. Quantifier Elimination for Counting Extensions of Presburger Arithmetic. Springer, 2022.
Citace podle MLA (9th ed.)Chistikov, D., et al. Quantifier Elimination for Counting Extensions of Presburger Arithmetic. Springer, 2022.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..