( en | de | ru )

 

Disambiguation of "Jiafu, Xu"

Author of the publication

copydeleteadd this publication to your clipboard
On the Design, Implementation and Use of the Systems Programming Language XCY.

, , , and . IFIP Congress, page 305-308. (1980)

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.

Jiafu Luo

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

Formal semantics of some functional constructs of the software requirements definition language NDRDL., and . COMPSAC, page 642-645. IEEE Computer Society, (1997)Requirements Analysis and Specification as a Problem of Software Automation., and . SEKE, page 457-464. Knowledge Systems Institute, (1996)Analogical Type Theory., and . DISCO, volume 722 of Lecture Notes in Computer Science, page 33-44. Springer, (1993)Software Automation: From "Silly" to "Intelligent".. ICTAI, page 73-76. IEEE Computer Society, (1992)On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms., , , , , , , and . IFIP Congress (1), volume A-12 of IFIP Transactions, page 186-192. North-Holland, (1992)On the Design, Implementation and Use of the Systems Programming Language XCY., , , and . IFIP Congress, page 305-308. (1980)The Directed Inference and Its Role in NDSAIL System., and . IWAR, volume A-19 of IFIP Transactions, page 177-186. North-Holland, (1992)Quantum programming languages., and . Frontiers Comput. Sci. China, 2 (2): 161-166 (2008)A Knowledge Processing Language and Its Parallel Inference System., , and . SEKE, page 199-206. Knowledge Systems Institute, (1993)Development Transformation Based on Higher Order Type Theory., and . Constructivity in Computer Science, volume 613 of Lecture Notes in Computer Science, page 58-70. Springer, (1991)