Giuseppe Greco 0001, Fei Liang, Krishna Manoorkar, Alessandra Palmigiano. Proper Multi-Type Display Calculi for Rough Algebras. Electronic Notes in Theoretical Computer Science, 344:101-118, 2019. [doi]
@article{GrecoLMP19,
title = {Proper Multi-Type Display Calculi for Rough Algebras},
author = {Giuseppe Greco 0001 and Fei Liang and Krishna Manoorkar and Alessandra Palmigiano},
year = {2019},
doi = {10.1016/j.entcs.2019.07.007},
url = {https://doi.org/10.1016/j.entcs.2019.07.007},
researchr = {https://researchr.org/publication/GrecoLMP19},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {101-118},
}