Items where Author is "Nalon, Cláudia"

Nalon, Cláudia and Hustadt, Ullrich and Papacchini, Fabio and Dixon, Clare (2023) Buy One Get 14 Free : Evaluating Local Reductions for Modal Logic. In: Automated Deduction – CADE 29 :. Lecture Notes in Computer Science . Springer, Cham, pp. 382-400. ISBN 9783031384981

Papacchini, Fabio and Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare (2022) Local is Best: Efficient Reductions to Modal Logic K. Journal of Automated Reasoning, 66 (4): 4. pp. 639-666. ISSN 0168-7433

Papacchini, Fabio and Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare (2021) Efficient Local Reductions to Basic Modal Logic. In: Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 76-92. ISBN 9783030798758