Items where Author is "Ramanujam, R"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 2.
Article
Padmanabha, Anantha and Ramanujam, R (2023) A decidable fragment of first order modal logic: two variable term modal logic. ACM Transactions on Computational Logic. pp. 1-37.
Conference or Workshop Item
Ramanujam, R and Shah, Vipul (2024) Curricular Choices for Computational Thinking in Large Scale Low Resource Environments. In: Creative Mathematical Sciences Communication: 7th International Conference, October 7–10, 2024, Germany.