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.

Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic

Xinran Ning, Yang Xu 0001, Guanfeng Wu, Huimin Fu. Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic. Symmetry, 10(11):553, 2018. [doi]

Authors

Xinran Ning

This author has not been identified. Look up 'Xinran Ning' in Google

Yang Xu 0001

This author has not been identified. Look up 'Yang Xu 0001' in Google

Guanfeng Wu

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

Huimin Fu

This author has not been identified. Look up 'Huimin Fu' in Google
runs on