Simulating non-prenex cuts in quantified propositional calculus.

Emil Jerábek Phuong Nguyen

Published in: Math. Log. Q. (2011)

Keyphrases

propositional calculus
normal form
real time
case study
video sequences
data sets
image processing
multimedia
image segmentation
video data