Natalia Moanga. Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics. In 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020. pages 67-74, IEEE, 2020. [doi]
@inproceedings{Moanga20, title = {Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics}, author = {Natalia Moanga}, year = {2020}, doi = {10.1109/SYNASC51798.2020.00022}, url = {https://doi.org/10.1109/SYNASC51798.2020.00022}, researchr = {https://researchr.org/publication/Moanga20}, cites = {0}, citedby = {0}, pages = {67-74}, booktitle = {22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020}, publisher = {IEEE}, isbn = {978-1-7281-7628-4}, }