Author of the publication

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

Sorted HiLog: Sorts in Higher-Order Logic Data Languages., and . ICDT, volume 893 of Lecture Notes in Computer Science, page 252-265. Springer, (1995)Research on Parameters Matching of Hybrid Electric Vehicle with Compound-Structure Induction Machine., , , , , , and . LSMS/ICSEE (3), volume 763 of Communications in Computer and Information Science, page 339-350. Springer, (2017)A Theory of Modules Based on Second-Order Logic.. SLP, page 24-33. IEEE-CS, (1987)Goal-Directed Evaluation of Well-Founded Sematics for XSB., , and . ILPS, page 679. MIT Press, (1993)Objects as Intensions., and . ICLP/SLP, page 404-419. MIT Press, (1988)Lexical Acquisition via Constraint Solving, and . CoRR, (1995)HiLog as a Platform for Database Languages., , and . DBPL, page 315-329. Morgan Kaufmann, (1989)Analysis of the properties of DVB-S signal for passive radar application., , , , and . WCSP, page 1-5. IEEE, (2013)An improved indoor localization system for mobile robots based on landmarks on the ceiling., , and . ROBIO, page 1395-1400. IEEE, (2016)A GIS-based implemental framework for landscape design., , , and . SMC, page 3787-3791. IEEE, (2003)