Items where Author is "Nalon, C."

Contribution in Book/Report/Proceedings

Nalon, C. and Hustadt, U. and Papacchini, F. and Dixon, C. (2022) Local Reductions for the Modal Cube. In: International Joint Conference on Automated Reasoning :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13385 . UNSPECIFIED, pp. 486-505. ISBN 9783031107689