( en | de | ru )

 

Disambiguierung von "Schrijvers, Tom"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Search Combinators.

, , , , und . CP, Volume 6876 von Lecture Notes in Computer Science, Seite 774-788. Springer, (2011)

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 Ring

Tom Garven

Tom Butters

Tom Bschor

 

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)Let should not be generalized., , und . TLDI, Seite 39-50. ACM, (2010)Confluence for Functional Dependencies., und . Trends in Functional Programming, Volume 9 von Trends in Functional Programming, Seite 49-64. Intellect, (2008)Automatic Generation of Test Inputs for Mercury., , und . LOPSTR, Volume 5438 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2008)Towards Typed Prolog., , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 693-697. Springer, (2008)Tabling as a Library with Delimited Control., , , und . IJCAI, Seite 4145-4149. IJCAI/AAAI Press, (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)