Publications
Export 1 results:
Filters: Author is Ramanujam, R. [Clear All Filters]
Temporal Justification Logic. In: Proceedings of the Ninth Workshop on Methods for Modalities, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017. pp. 59-74. Open Publishing Association (2017).
: