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:
Unspecified
, 76 - 92.
|
Text
cade2021.pdf - Accepted Version Download (401kB) | Preview |
| Item Type: | Book Section |
|---|---|
| Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 02 Aug 2021 10:51 |
| Last Modified: | 09 Aug 2022 22:10 |
| DOI: | 10.1007/978-3-030-79876-5_5 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3131113 |
Dimensions
Dimensions
DimensionsAltmetric
Share
CORE (COnnecting REpositories)