( en | de | ru )

 

Disambiguierung von "Ballis, Demis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Transformation and Debugging of Functional Logic Programs.

, , und . 25 Years GULP, Volume 6125 von Lecture Notes in Computer Science, Springer, (2010)

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.

Anja Ballis

Klaus Demisch

Reinhard Demisch

Sibylle Demisch

Tamene Adugna Demissie

 

Weitere Publikationen von Autoren mit dem selben Namen

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne., , , und . ESOP, Volume 7792 von Lecture Notes in Computer Science, Seite 121-124. Springer, (2013)Static correction of Maude programs with assertions., , und . J. Syst. Softw., (2019)Inferring Safe Maude Programs with ÁTAME., , und . ICMS, Volume 10931 von Lecture Notes in Computer Science, Seite 1-10. Springer, (2018)Rule-based verification of Web sites., , und . Int. J. Softw. Tools Technol. Transf., 8 (6): 565-585 (2006)Foreword., und . J. Symb. Comput., 46 (2): 93-94 (2011)Parametric Exploration of Rewriting Logic Computations., , , und . SCSS, Volume 15 von EPiC Series in Computing, Seite 4-18. EasyChair, (2013)Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)., , , und . Specification, Algebra, and Software, Volume 8373 von Lecture Notes in Computer Science, Seite 229-255. Springer, (2014)Optimizing Maude Programs via Program Specialization., , , , und . Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, Volume 13160 von Lecture Notes in Computer Science, Seite 21-50. Springer, (2023)Transformation and Debugging of Functional Logic Programs., , und . 25 Years GULP, Volume 6125 von Lecture Notes in Computer Science, Springer, (2010)Backward Trace Slicing for Rewriting Logic Theories., , , und . CADE, Volume 6803 von Lecture Notes in Computer Science, Seite 34-48. Springer, (2011)