Author of the publication

A precongruence format for should testing preorder.

, , and . J. Log. Algebraic Methods Program., 79 (3-5): 245-263 (2010)

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

A Novel Method for Person Re-Identification: Conditional Translated Network Based on GANs., , , , and . IEEE Access, (2020)Improving MapReduce Performance with Partial Speculative Execution., , , and . J. Grid Comput., 13 (4): 587-604 (2015)D-Ocean: an unstructured data management system for data ocean environment., , , , , , , and . Frontiers Comput. Sci., 10 (2): 353-369 (2016)Diverse Image Captioning via GroupTalk., , , , , , and . IJCAI, page 2957-2964. IJCAI/AAAI Press, (2016)Web-Based Chinese Calligraphy Retrieval and Learning System., , , and . ICWL, volume 3583 of Lecture Notes in Computer Science, page 186-196. Springer, (2005)Chinese Brush Calligraphy Character Retrieval and Learning., , , and . Methods and Applications for Advancing Distance Education Technologies, IGI Global, (2009)The classification of multi-modal data with hidden conditional random field., , , , , and . Pattern Recognit. Lett., (2015)Discovering calligraphy style relationships by Supervised Learning Weighted Random Walk Model., , and . Multim. Syst., 15 (4): 221-242 (2009)4-regular graphs without cut-vertices having the same path layer matrix., , , and . J. Graph Theory, 44 (4): 304-311 (2003)Stable Prediction With Leveraging Seed Variable., , , , , , , , , and . IEEE Trans. Knowl. Data Eng., 35 (6): 6392-6404 (June 2023)