( en | de | ru )

 

Disambiguierung von "Ong, C.-H. Luke"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Defunctionalization of Higher-Order Constrained Horn Clauses.

, , und . CoRR, (2018)

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.

C H Johl

Prashanth H C

H C Thejaswini

Kilian Ong

Untersuchung von Schichtsystemen für kristallisierte Dünnschichtsiliziumsolarzellen auf Glas. TU Hamburg, (2009)

Arlene Ong

 

Weitere Publikationen von Autoren mit dem selben Namen

Logic, Language, Information and Computation (WoLLIC 2012)., und . Theor. Comput. Sci., (2015)Verifying Liveness Properties of ML Programs., , , und . CoRR, (2020)Defunctionalization of Higher-Order Constrained Horn Clauses., , und . CoRR, (2018)A type-directed abstraction refinement approach to higher-order model checking., , und . POPL, Seite 61-72. ACM, (2014)Homer: A Higher-Order Observational Equivalence Model checkER., und . CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 654-660. Springer, (2009)Games Characterizing Levy-Longo Trees., und . ICALP, Volume 2380 von Lecture Notes in Computer Science, Seite 476-487. Springer, (2002)Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes.. MFCS, Volume 4708 von Lecture Notes in Computer Science, Seite 15-21. Springer, (2007)Generalised species of rigid resource terms., , und . LICS, Seite 1-12. IEEE Computer Society, (2017)Functional Reachability., und . LICS, Seite 286-295. IEEE Computer Society, (2009)Observational Equivalence of 3rd-Order Idealized Algol is Decidable.. LICS, Seite 245-256. IEEE Computer Society, (2002)