Urmăriți
Natalia Moanga
Natalia Moanga
Ph.D. Student, University of Bucharest
Adresă de e-mail confirmată pe drd.unibuc.ro - Pagina de pornire
Titlu
Citat de
Citat de
Anul
A many-sorted polyadic modal logic
I Leuştean, N Moangă, TF Şerbănuţă
Fundamenta Informaticae 173 (2-3), 191-215, 2020
62020
Operational semantics and program verification using many-sorted hybrid modal logic
I Leuştean, N Moangă, TF Şerbănuţă
Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019
62019
Many-sorted hybrid modal languages
I Leuştean, N Moangă, TF Şerbănuţă
Journal of Logical and Algebraic Methods in Programming 120, 100644, 2021
22021
From Hybrid Modal Logic to Matching Logic and Back
I Leuştean, N Moangă, TF Şerbănuţă
arXiv preprint arXiv:1907.05029, 2019
22019
Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics
N Moangă
2020 22nd International Symposium on Symbolic and Numeric Algorithms for …, 2020
2020
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–5