( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Special Issue on Probabilistic Logic Programming (PLP 2018).

, и . Int. J. Approx. Reason., (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Marieta Ioana Toma

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

Tom Rapoport

Tom Bäumer

Tom Peterhansl

Tom Ring

 

Другие публикации лиц с тем же именем

Confluence for Functional Dependencies., и . Trends in Functional Programming, том 9 из Trends in Functional Programming, стр. 49-64. Intellect, (2008)Let should not be generalized., , и . TLDI, стр. 39-50. ACM, (2010)Tabling as a Library with Delimited Control., , , и . IJCAI, стр. 4145-4149. IJCAI/AAAI Press, (2016)Towards Typed Prolog., , , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 693-697. Springer, (2008)Automatic Generation of Test Inputs for Mercury., , и . LOPSTR, том 5438 из Lecture Notes in Computer Science, стр. 71-86. Springer, (2008)Special Issue on Probabilistic Logic Programming (PLP 2018)., и . Int. J. Approx. Reason., (2021)Generalized monoidal effects and handlers., , и . J. Funct. Program., (2020)Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts., , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 776-787. Springer, (2021)Generic datatypes à la carte., и . WGP@ICFP, стр. 13-24. ACM, (2013)From MinX to MinC: semantics-driven decompilation of recursive datatypes., , и . POPL, стр. 191-203. ACM, (2016)