Browse by Document type

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Authors | No Grouping
Number of items: 1.

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.

This list was generated on Wed Nov 13 09:25:35 2024 UTC.
Maintained by Knowledge Resource Centre, Library at the Azim Premji University. Powered by EPrints 3.