Efficient Local Reductions to Basic Modal Logic

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. Lecture Notes in Computer Science . Springer, Cham, pp. 76-92. ISBN 9783030798758

Full text not available from this repository.
Item Type:
Contribution in Book/Report/Proceedings
ID Code:
163188
Deposited By:
Deposited On:
09 Dec 2021 14:31
Refereed?:
Yes
Published?:
Published
Last Modified:
18 Jan 2022 03:53