Login / Signup
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