Author of the publication

Analogical Type Theory.

, and . DISCO, volume 722 of Lecture Notes in Computer Science, page 33-44. Springer, (1993)

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.

 

Other publications of authors with the same name

Dynamic home circuit grouping and wavelength assignment in LOBS-HC ring networks., , , and . ChinaCom, page 303-306. IEEE, (2014)The hardware structure design of perceptron with FPGA implementation., , , and . SMC, page 762-767. IEEE, (2003)A Vertical Thin Layer pLDMOS with Linear doping realizing ultralow Ron, sp., , , , , and . ASICON, page 1-4. IEEE, (2021)Experience-based Computation Offloading by Deep Reinforcement Learning for Multi-access Edge Computing Network., , and . ICCCM, page 1-8. ACM, (2022)Request-Based Forwarding Strategy in Vehicular Named Data Networking., , and . ICCCM, page 181-187. ACM, (2021)Exploring user motivations for eyes-free interaction on mobile devices., , , and . CHI, page 2789-2792. ACM, (2012)VNF Constituted Consumer Application Preference for High-Quality Service Provision in IoT., , , , and . IEEE Trans. Consumer Electron., 70 (1): 1071-1079 (February 2024)Migration of legacy web applications to enterprise JavaTM environments net.data® to JSPTM transformation., , , , , and . CASCON, page 223-237. IBM, (2003)Design and realization of communication mechanism of autonomous robot soccer based on multi-agent system., , , , and . SMC, page 66-71. IEEE, (2003)Hierarchical Leader-Follower based Regular Topology Formation Control Scheme in 5G-enabled Distributed Wireless Robotic Networks., , , , , and . RobCE, page 13-18. ACM, (2022)