( en | de | ru )

 

Disambiguierung von "Schrijvers, Tom"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstract interpretation for constraint handling rules.

, , und . PPDP, Seite 218-229. ACM, (2005)

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.

Marieta Ioana Toma

Zentrosomenmorphologie in Prostatakarzinomen: eine immunhistologische Studie mit Korrelation zu DNA-Ploidie und kliniko-pathologischen Parametern. TU Dresden, (2008)

Tom Rapoport

Tom Walde

Tom Smolinka

Tom Hellriegel

 

Weitere Publikationen von Autoren mit dem selben Namen

Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts., , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 776-787. Springer, (2021)From MinX to MinC: semantics-driven decompilation of recursive datatypes., , und . POPL, Seite 191-203. ACM, (2016)Special Issue on Probabilistic Logic Programming (PLP 2018)., und . Int. J. Approx. Reason., (2021)Generalized monoidal effects and handlers., , und . J. Funct. Program., (2020)Oregano: staging regular expressions with Moore Cayley fusion., , und . Haskell, Seite 66-80. ACM, (2022)A Transformational Approach for Proving Properties of the CHR Constraint Store., , und . LOPSTR, Volume 6037 von Lecture Notes in Computer Science, Seite 22-36. Springer, (2009)Confluence for Functional Dependencies., und . Trends in Functional Programming, Volume 9 von Trends in Functional Programming, Seite 49-64. Intellect, (2008)Let should not be generalized., , und . TLDI, Seite 39-50. ACM, (2010)Tabling as a Library with Delimited Control., , , und . IJCAI, Seite 4145-4149. IJCAI/AAAI Press, (2016)Towards Typed Prolog., , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 693-697. Springer, (2008)