Standard
Efficient Local Reductions to Basic Modal Logic. /
Papacchini, Fabio; Nalon, Cláudia; Hustadt, Ullrich et al.
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. ed. / Andre Platzer; Geoff Sutcliffe. Cham: Springer, 2021. p. 76-92 (Lecture Notes in Computer Science ; Vol. 12699).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Papacchini, F, Nalon, C, Hustadt, U & Dixon, C 2021,
Efficient Local Reductions to Basic Modal Logic. in A Platzer & G Sutcliffe (eds),
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Lecture Notes in Computer Science , vol. 12699, Springer, Cham, pp. 76-92.
https://doi.org/10.1007/978-3-030-79876-5_5
APA
Papacchini, F., Nalon, C., Hustadt, U., & Dixon, C. (2021).
Efficient Local Reductions to Basic Modal Logic. In A. Platzer, & G. Sutcliffe (Eds.),
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (pp. 76-92). (Lecture Notes in Computer Science ; Vol. 12699). Springer.
https://doi.org/10.1007/978-3-030-79876-5_5
Vancouver
Papacchini F, Nalon C, Hustadt U, Dixon C.
Efficient Local Reductions to Basic Modal Logic. In Platzer A, Sutcliffe G, editors, Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Cham: Springer. 2021. p. 76-92. (Lecture Notes in Computer Science ). Epub 2021 Jul 5. doi: 10.1007/978-3-030-79876-5_5
Author
Papacchini, Fabio ; Nalon, Cláudia ; Hustadt, Ullrich et al. /
Efficient Local Reductions to Basic Modal Logic. Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. editor / Andre Platzer ; Geoff Sutcliffe. Cham : Springer, 2021. pp. 76-92 (Lecture Notes in Computer Science ).
Bibtex
@inproceedings{52d257b643594e79893ed1573a06a404,
title = "Efficient Local Reductions to Basic Modal Logic",
author = "Fabio Papacchini and Cl{\'a}udia Nalon and Ullrich Hustadt and Clare Dixon",
year = "2021",
month = jul,
day = "7",
doi = "10.1007/978-3-030-79876-5_5",
language = "English",
isbn = "9783030798758",
series = "Lecture Notes in Computer Science ",
publisher = "Springer",
pages = "76--92",
editor = "Andre Platzer and Geoff Sutcliffe",
booktitle = "Automated Deduction – CADE 28",
}
RIS
TY - GEN
T1 - Efficient Local Reductions to Basic Modal Logic
AU - Papacchini, Fabio
AU - Nalon, Cláudia
AU - Hustadt, Ullrich
AU - Dixon, Clare
PY - 2021/7/7
Y1 - 2021/7/7
U2 - 10.1007/978-3-030-79876-5_5
DO - 10.1007/978-3-030-79876-5_5
M3 - Conference contribution/Paper
SN - 9783030798758
T3 - Lecture Notes in Computer Science
SP - 76
EP - 92
BT - Automated Deduction – CADE 28
A2 - Platzer, Andre
A2 - Sutcliffe, Geoff
PB - Springer
CY - Cham
ER -
