Browse by Periodicals
 | Up a level |
Jump to: Padmanabha, Anantha | Ramanujam, R
Number of items: 2.
Padmanabha, Anantha
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.
Ramanujam, R
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.