( en | de | ru )

 

Disambiguierung von "Sapiña, Julia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inspecting Maude variants with GLINTS.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Igor Sapina

Guenter Julian

Otto Julian

Ernst Julian

Klaus Julian

 

Weitere Publikationen von Autoren mit dem selben Namen

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