Sign in

Formal Proof of a Machine Closed Theorem in Coq.

Hai WanAnping HeZhiyang YouXibin 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