Browse by University Publications

[up] Up a level
Export as [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Group by: Date | Authors | Volume | Number | No Grouping
Jump to: 19 April 2023
Number of items: 1.

19 April 2023

  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 Fri May 22 16:58:24 2026 UTC.
Maintained by Knowledge Resource Centre, Library at the Azim Premji University. Powered by EPrints 3.