Sign in

A Proof System for mCWQ.

Wanling XieXi WuHuibiao ZhuGang LuAilun Liu
Published in: COMPSAC (1) (2017)
Keyphrases
  • modal logic
  • lower bound
  • model checker
  • genetic algorithm
  • image segmentation
  • pattern recognition
  • pairwise
  • evolutionary algorithm
  • data model
  • probability distribution
  • description language
  • linear logic
  • proof search