A Complete Proof Systems for QPTL

Yonit Kesten Amir Pnueli

Published in: LICS (1995)

Keyphrases

distributed systems
learning systems
neural network
genetic algorithm
search engine
clustering algorithm
mobile devices
computer systems
embedded systems