( en | de | ru )

 

Disambiguierung von "Kop, Cynthia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
WANDA - a Higher Order Termination Tool (System Description).

. FSCD, Volume 167 von LIPIcs, Seite 36:1-36:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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.

Cynthia Erb

Cynthia Hartwig

Cynthia Obodozie

Cynthia Perez

Cynthia Schramm

 

Weitere Publikationen von Autoren mit dem selben Namen

On Basic Feasible Functionals and the Interpretation Method., , , und . FoSSaCS (2), Volume 14575 von Lecture Notes in Computer Science, Seite 70-91. Springer, (2024)Cost-Size Semantics for Call-By-Value Higher-Order Rewriting., und . FSCD, Volume 260 von LIPIcs, Seite 15:1-15:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)WANDA - a Higher Order Termination Tool (System Description).. FSCD, Volume 167 von LIPIcs, Seite 36:1-36:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Simplifying Algebraic Functional Systems.. CAI, Volume 6742 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2011)Skylines for Symbolic Energy Consumption Analysis., , , und . FMICS, Volume 12327 von Lecture Notes in Computer Science, Seite 93-112. Springer, (2020)The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming., und . ESOP, Volume 10201 von Lecture Notes in Computer Science, Seite 668-695. Springer, (2017)Conditional Complexity., , und . RTA, Volume 36 von LIPIcs, Seite 223-240. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A weakly monotonic, logically constrained, HORPO-variant.. CoRR, (2024)Certifying Higher-Order Polynomial Interpretations., , und . ITP, Volume 268 von LIPIcs, Seite 30:1-30:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Higher-Order Iterative Path Ordering., und . LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 697-711. Springer, (2008)