Items where Author is "Ramanujam, R"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
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.