A Proof System for mCWQ.

Wanling Xie Xi Wu Huibiao Zhu Gang Lu Ailun 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