Choffrut, C. (2024). Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: An alternative shorter proof.
Chicago Style (17th ed.) CitationChoffrut, Christian. Unary Counting Quantifiers Do Not Increase the Expressive Power of Presburger Aritmetic: An Alternative Shorter Proof. 2024.
MLA (9th ed.) CitationChoffrut, Christian. Unary Counting Quantifiers Do Not Increase the Expressive Power of Presburger Aritmetic: An Alternative Shorter Proof. 2024.
Warning: These citations may not always be 100% accurate.