Two variable fragment of Term Modal Logic

Anantha Padmanabha, R. Ramanujam. Two variable fragment of Term Modal Logic. In Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen, editors, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany. Volume 138 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]


No references recorded for this publication.

Cited by

No citations of this publication recorded.