Up a level |
Number of items: 1.
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