( en | de | ru )

 

Disambiguierung von "Espert, Javier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Backward Trace Slicing for Rewriting Logic Theories.

, , , und . CADE, Volume 6803 von Lecture Notes in Computer Science, Seite 34-48. Springer, (2011)

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.

Paul Espert

Klaus Espert

Paul-Elmar Espert

Javier Dreyer

Javier Manero

 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamic Backward Slicing of Rewriting Logic Computations, , , und . CoRR, (2011)Debugging of Web Applications with Web-TLR, , , , und . WWV, Volume 61 von EPTCS, Seite 66-80. (2011)Backward Trace Slicing for Rewriting Logic Theories., , , und . CADE, Volume 6803 von Lecture Notes in Computer Science, Seite 34-48. Springer, (2011)Detecting Modular ACU Structural Symmetries., , und . UNIF@RTA/TLCA, Volume 19 von EPiC Series in Computing, Seite 3-7. EasyChair, (2013)Model-Checking Web Applications with Web-TLR., , , und . ATVA, Volume 6252 von Lecture Notes in Computer Science, Seite 341-346. Springer, (2010)A modular order-sorted equational generalization algorithm., , , und . Inf. Comput., (2014)ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance., , , und . JELIA, Volume 8761 von Lecture Notes in Computer Science, Seite 573-581. Springer, (2014)