Formal Proof of a Machine Closed Theorem in Coq.

Hai Wan Anping He Zhiyang You Xibin Zhao

Published in: J. Appl. Math. (2014)

Keyphrases

formal proof
theorem prover
first order logic
flowshop
inference rules
queueing networks
formal methods
batch processing
database
real time
databases
machine learning