( en | de | ru )

 

Disambiguierung von "Giesl, Jürgen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.

, , , und . Interaction versus Automation: The two Faces of Deduction, Volume 09411 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)

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.

Jürgen Giesl

Jürgen Giesl

Jürgen Giesl

Bruno Giesl

Peter Giesl

 

Weitere Publikationen von Autoren mit dem selben Namen

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting., , und . RTA, Volume 10 von LIPIcs, Seite 155-170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Computing Expected Runtimes for Constant Probability Programs., , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 269-286. Springer, (2019)Transformation techniques for context-sensitive rewrite systems., und . J. Funct. Program., 14 (4): 379-427 (2004)Transforming Context-Sensitive Rewrite Systems., und . RTA, Volume 1631 von Lecture Notes in Computer Science, Seite 271-287. Springer, (1999)Proving Innermost Normalisation Automatically., und . RTA, Volume 1232 von Lecture Notes in Computer Science, Seite 157-171. Springer, (1997)Termination Analysis for Partial Functions., und . SAS, Volume 1145 von Lecture Notes in Computer Science, Seite 113-127. Springer, (1996)Eliminating Dummy Elimination., und . CADE, Volume 1831 von Lecture Notes in Computer Science, Seite 309-323. Springer, (2000)AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution)., , , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 350-354. (2017)Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)., und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 712-722. Springer, (2022)Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops., , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 734-754. Springer, (2022)