( en | de | ru )

 

Disambiguation of "Xu, Jiyang"

Author of the publication

copydeleteadd this publication to your clipboard
A Type Inference System for Prolog.

, and . ICLP/SLP, page 604-619. MIT Press, (1988)

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. You can also use the button next to the name to display some publications already assigned to the person.

Jiyang Zhou

Xu Xu

Xu Xu

Xianxiang Xu

Imaging findings of cerebral schistosomiasis in China. Uni Hamburg, (2010)

Yan Xu

Untersuchungen zur Verleimung von Holz und Holzspanplatten mit UF-Leimharzen und PMDI. TU Braunschweig, (2009)
 

Other publications of authors with the same name

Effective Heuristic Procedures for a Field Technician Scheduling Problem., and . J. Heuristics, 7 (5): 495-509 (2001)A Type Inference System for Prolog., and . ICLP/SLP, page 604-619. MIT Press, (1988)Privacy preserving in big data sets through multiple shuffle., , and . ACSW, page 72:1-72:8. ACM, (2017)Constraint Handling, Garbage Collection and Execution Model Issues in ElipSys., , , and . ICLP Workshop on Parallel Execution of Logic Programs, volume 569 of Lecture Notes in Computer Science, page 17-28. Springer, (1991)The European Declarative System (EDS) as a platform for parallel logic programming., , , , , , , , , and 8 other author(s). SPDP, page 339-342. IEEE Computer Society, (1990)ElipSys., , , and . Dagstuhl Seminar on Parallelization in Inference Systems, volume 590 of Lecture Notes in Computer Science, page 362. Springer, (1990)A Shared Environment Parallel Logic Programming System on Distributed Memory Architectures., , , , and . EDMCC, volume 487 of Lecture Notes in Computer Science, page 371-380. Springer, (1991)