Items where Author is "Ramanujam, R."

Article

Das, Ramit and Ramanujam, R. and Simon, Sunil (2025) A logical description of priority separable games. Synthese, 206 (4). ISSN 1573-0964

Ramanujam, R. (2025) Logic for high school mathematics teachers. Bulletin of the European Association for Theoretical Computer Science, 147. pp. 5-15. ISSN 0252-9742

Sud, Reeteka and Ramanujam, R. (2024) The STEM arena in India: a story of exclusion in many colors. GEN Biotechnology, 3 (4). pp. 207-214. ISSN 2768-1572

Liu, Mo and Padmanabha, Anantha and Ramanujam, R. and Wang, Yanjing (2023) Are bundles good deals for first-order modal logic? Information and Computation, 293. p. 105062. ISSN 08905401

Jayasree, S. and Subramaniam, K. and Ramanujam, R. (2023) Coherent formalisability as acceptability criterion for students’ mathematical discourse. Research in Mathematics Education, 25 (2). pp. 135-153. ISSN 1479-4802

Das, Ramit and Padmanabha, Anantha and Ramanujam, R. (2023) Implicit quantification for modal reasoning in large games. Synthese, 201 (5). ISSN 1573-0964

Ghosh, Sujata and Ramanujam, R. (2023) Preface. Journal of Logic, Language and Information, 32 (1). pp. 1-2. ISSN 0925-8531

Conference or Workshop Item

Ramanujam, R. and Sundararajan, Vaishnavi and Suresh, S P (2024) Solving the Insecurity Problem for Assertions. In: 2024 IEEE 37th Computer Security Foundations Symposium (CSF), 08-12 July 2024, Enschede, Netherlands.

Ramanujam, R. (2023) Big ideas from logic for mathematics and computing education. In: 10th Indian Conference, ICLA 2023, March 3–5, 2023, Indore, India.

Liu, Mo and Padmanabha, Anantha and Ramanujam, R. and Wang, Yanjing (2022) Generalized bundled fragments for first-order modal logic. In: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), August 22-26, 2022, Vienna, Austria.