Browse by People

Papacchini, Fabio ORCID: 0000-0002-0310-7378, Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2021) Efficient Local Reductions to Basic Modal Logic. In: Automated Deduction – CADE 28. Lecture Notes in Computer Science, 12699 . Springer International Publishing, pp. 76-92. ISBN 978-3-030-79875-8