( en | de | ru )

 

Disambiguation of "Zhong, Xiaomei"

Author of the publication

copydeleteadd this publication to your clipboard
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.

, , , , and . Int. J. Comput. Intell. Syst., 11 (1): 384-401 (2018)

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.

Xiaomei Li

Xiaomei Chen

Xiaomei Zhang

Xiaomei Jin

Gang Zhong

 

Other publications of authors with the same name

Lattice-valued matrix game with mixed strategies for intelligent decision support., , , and . Knowl. Based Syst., (2012)Formal Analysis and Verification for Three-Party Authentication Protocol of RFID., , , , and . NCTCS, volume 882 of Communications in Computer and Information Science, page 46-60. Springer, (2018)Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic., , , , and . Int. J. Comput. Intell. Syst., 11 (1): 384-401 (2018)α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic., , , and . Int. J. Comput. Intell. Syst., 7 (3): 418-431 (2014)Local Re-encoding for Coded Matrix Multiplication., , , and . ISIT, page 221-226. IEEE, (2020)Leveraging Stragglers in Coded Computing with Heterogeneous Servers., , , , , and . IWQoS, page 1-10. IEEE, (2020)alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X)., and . J. Multiple Valued Log. Soft Comput., 22 (4-6): 581-598 (2014)α-group resolution method based on lattice-valued propositional logic LP(X)., and . FSKD, page 1418-1422. IEEE, (2011)Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic., , , , and . ISKE, page 1-7. IEEE, (2015)Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)., , and . J. Intell. Fuzzy Syst., 29 (4): 1581-1593 (2015)