Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.

Y. Xu, J. Liu, X. He, X. Zhong, and S. Chen. ISKE, page 1-7. IEEE, (2015)

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.

Xu Yang

Yang Xu

Ying-Xu Yang

Other publications of authors with the same name

A 180nm fully-integrated dual-channel reconfigurable receiver for GNSS interoperations.N. Qi, B. Chi, Y. Xu, Z. Chen, Y. Xu, J. Xie, Z. Song, and Z. Wang. ESSCIRC, page 177-180. IEEE, (2013)A Multi-Correlation Peak Phase Deblurring Algorithm for BeiDou B1C Signals in Urban Environments.X. Yang, W. Feng, C. Zhuang, Q. Wang, X. Yang, and Z. Yang. Remote. Sens., 15 (17): 4300 (September 2023)A dual-channel GPS/Compass/Galileo/GLONASS reconfigurable GNSS receiver in 65nm CMOS.N. Qi, Y. Xu, B. Chi, Y. Xu, X. Yu, X. Zhang, and Z. Wang. CICC, page 1-4. IEEE, (2011)Heuristic routing algorithm toward scalable distributed generalized assignment problem.Y. Xu, X. Wang, and T. Sun. Soft Comput., 22 (3): 845-859 (2018)FISST Based Method for Multi-Target Tracking in the Image Plane of Optical Sensors.Y. Xu, H. Xu, W. An, and D. Xu. Sensors, 12 (3): 2920-2934 (2012)Metadata Service for Random Frame Reading of Video Stored in Distributed File System.Y. Xu, L. Gao, Y. Li, X. Huang, and D. Li. BDIOT, page 27-31. ACM, (2017)The Hierarchical Fuzzy Evaluation System and Its Application.X. Qiu, Y. Xu, M. Jian, and H. Li. ICMLC, volume 3930 of Lecture Notes in Computer Science, page 407-416. Springer, (2005)An ultra high throughput and memory efficient pipeline architecture for multi-match packet classification without TCAMs.Y. Xu, Z. Liu, Z. Zhang, and H. Chao. ANCS, page 189-198. ACM, (2009)Fast Bayesian decision based block partitioning algorithm for HEVC.Y. Yao, X. Yang, T. Jia, X. Jiang, and W. Feng. Multimedia Tools Appl., 78 (7): 9129-9147 (2019)An Improved Weight Control System for Slender Cigarette Production.Z. Han, X. Yang, K. Bi, X. Dong, and X. Sun. ICSCIB, volume 890 of Advances in Intelligent Systems and Computing, page 75-83. Springer, (2018)

BibSonomy

Disambiguation of "Xu, Yang"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.

Please choose a person to relate this publication to

Xu Yang

Xu Yang

Yang Xu

Yang Xu

Ying-Xu Yang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Xu, Yang"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.

Please choose a person to relate this publication to

Xu Yang

Xu Yang

Yang Xu

Yang Xu

Ying-Xu Yang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.