( en | de | ru )

 

Disambiguation of "Sapiña, Julia"

Author of the publication

copydeleteadd this publication to your clipboard
Inspecting Maude variants with GLINTS.

, , , and . Theory Pract. Log. Program., 17 (5-6): 689-707 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Igor Sapina

Guenter Julian

Otto Julian

Ernst Julian

Klaus Julian

 

Other publications of authors with the same name

Assertion-based Analysis via Slicing with ABETS (System Description)., , , and . CoRR, (2016)Optimization of rewrite theories by equational partial evaluation., , , and . J. Log. Algebraic Methods Program., (2022)Symbolic Specialization of Rewriting Logic Theories with Presto., , , and . Theory Pract. Log. Program., 22 (3): 444-495 (2022)Most General Variant Unifiers., and . ICLP Technical Communications, volume 306 of EPTCS, page 154-167. (2019)Inspecting Maude variants with GLINTS., , , and . Theory Pract. Log. Program., 17 (5-6): 689-707 (2017)Symbolic Analysis of Maude Theories with Narval., , , and . Theory Pract. Log. Program., 19 (5-6): 874-890 (2019)Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System., , and . Math. Comput. Sci., 14 (3): 591-606 (2020)An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis., , and . J. Log. Algebraic Methods Program., (October 2023)Exploring conditional rewriting logic computations., , , and . J. Symb. Comput., (2015)Variant-Based Equational Anti-unification., , , and . LOPSTR, volume 13474 of Lecture Notes in Computer Science, page 44-60. Springer, (2022)