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.

Satisfiability Degree Theory for Temporal Logic

Jian Luo, GuiMing Luo, Mo Xia. Satisfiability Degree Theory for Temporal Logic. In Agostinho C. Rosa, Janusz Kacprzyk, Joaquim Filipe, António Dourado Correia, editors, ECTA and FCTA 2011 - Proceedings of the International Conference on Evolutionary Computation Theory and Applications and the Proceedings of the International Conference on Fuzzy Computation Theory and Applications [parts of the International Joint Conference on Computational Intelligence IJCCI 2011], Paris, France, 24-26 October, 2011. pages 497-500, SciTePress, 2011.

No reviews for this publication, yet.

runs on