Pranshu Gaba, Arnab Sur. Recognizing Numbers. In C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava, editors, Logic and Its Applications - 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings. Volume 15402 of Lecture Notes in Computer Science, pages 126-137, Springer, 2025. [doi]
Abstract is missing.