by Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Electronic proceedings in theoretical computer science (02.09.2019)

by Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Fundamenta informaticae (01.01.2020)

by Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Journal of logical and algebraic methods in programming (01.04.2021)

by Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Automated Reasoning with Analytic Tableaux and Related Methods (2019)

by Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Year of Publication 02.07.2020

by Leuştean, Ioana, Moangă, Natalia, Traian Florin \c{S}erbănuţă
Published in arXiv.org (04.09.2019)

by Moanga, Natalia
Published in 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2020)

by Leuştean, Ioana, Moangă, Natalia, Traian Florin \c{S}erbănuţă
Published in arXiv.org (02.07.2020)

by Leustean, Ioana, Moanga, Natalia, Serbanuta, Traian Florin
Year of Publication 13.05.2019

by Leustean, Ioana, Moanga, Natalia, Serbanuta, Traian Florin
Year of Publication 26.03.2018

by Leustean, Ioana, Moanga, Natalia, Traian Florin Serbanuta
Published in arXiv.org (13.05.2019)

by Leustean, Ioana, Moanga, Natalia, Traian Florin Serbanuta
Published in arXiv.org (30.11.2018)