( en | de | ru )

 

Disambiguierung von "Duck, Gregory J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Flexible, Rule-Based Constraint Model Linearisation.

, , , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 68-83. Springer, (2008)

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.

Gregory J Polan

Viktor Dück

Jan Dück

Lilli Dück

Hannelore Duck

 

Weitere Publikationen von Autoren mit dem selben Namen

Flexible, Rule-Based Constraint Model Linearisation., , , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 68-83. Springer, (2008)SMCHR: Satisfiability modulo constraint handling rules.. Theory Pract. Log. Program., 12 (4-5): 601-618 (2012)Fast Fuzzing for Memory Errors., , und . CoRR, (2022)Observable Confluence for Constraint Handling Rules., , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 224-239. Springer, (2007)ACD Term Rewriting., , und . ICLP, Volume 4079 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2006)Heap bounds protection with low fat pointers., und . CC, Seite 132-142. ACM, (2016)Extending arbitrary solvers with constraint handling rules., , , und . PPDP, Seite 79-90. ACM, (2003)On Termination, Confluence and Consistent CHR-based Type Inference., , und . Theory Pract. Log. Program., 14 (4-5): 619-632 (2014)Automatic Implication Checking for CHR Constraints., , , , und . RULE@RDP, Volume 147 von Electronic Notes in Theoretical Computer Science, Seite 93-111. Elsevier, (2005)Program vulnerability repair via inductive inference., , , und . ISSTA, Seite 691-702. ACM, (2022)