Construction of Retractile Proof Structures.

Published in: RTA-TLCA (2014)

Keyphrases

real time
database
neural network
genetic algorithm
image processing
database systems
image sequences
lower bound
information technology
wireless sensor networks
theorem prover