Natalia Moanga
According to our database1,
Natalia Moanga
authored at least 6 papers
between 2018 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
2020
Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics.
Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020
2019
Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019
2018