External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Proof System for mCWQ

Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu. A Proof System for mCWQ. In Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu 0001, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang 0002, Kamrul Hasan, editors, 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1. pages 45-50, IEEE Computer Society, 2017. [doi]

Authors

Wanling Xie

This author has not been identified. Look up 'Wanling Xie' in Google

Xi Wu

This author has not been identified. Look up 'Xi Wu' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Gang Lu

This author has not been identified. Look up 'Gang Lu' in Google

Ailun Liu

This author has not been identified. Look up 'Ailun Liu' in Google
runs on