Autor der Publikation

(Nominal) Unification by Recursive Descent with Triangular Substitutions.

, und . ITP, Volume 6172 von Lecture Notes in Computer Science, Seite 51-66. 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.

 

Weitere Publikationen von Autoren mit dem selben Namen

MoonLight: Effective Fuzzing with Near-Optimal Corpus Distillation., , , , , , , und . CoRR, (2019)Mechanizing Soundness of Off-Policy Evaluation., , , und . ITP, Volume 237 von LIPIcs, Seite 32:1-32:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)On the formalisation of Kolmogorov complexity., und . CPP, Seite 291-299. ACM, (2021)Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems., , und . ITP, Volume 9236 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2015)Designing a low-level virtual machine for implementing real-time managed languages., , , und . VMIL@SPLASH, Seite 1-11. ACM, (2019)Exploiting Symmetries by Planning for a Descriptive Quotient., , und . IJCAI, Seite 1479-1486. AAAI Press, (2015)Proof Pearl: Bounding Least Common Multiples with Triangles., und . ITP, Volume 9807 von Lecture Notes in Computer Science, Seite 140-150. Springer, (2016)Complete Integer Decision Procedures as Derived Rules in HOL.. TPHOLs, Volume 2758 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2003)CakeML: a verified implementation of ML., , , und . POPL, Seite 179-192. ACM, (2014)A new verified compiler backend for CakeML., , , , , und . ICFP, Seite 60-73. ACM, (2016)