Search results for: Vlad Rusu
Journal of Symbolic Computation > 2017 > 80 > P1 > 125-163
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 1(P1) > 98-120
Computer Languages, Systems & Structures > 2015 > 44 > PA > 48-71
Journal of Symbolic Computation > 2017 > 80 > P1 > 125-163
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 1(P1) > 98-120
Computer Languages, Systems & Structures > 2015 > 44 > PA > 48-71