Article thumbnail

Formal Proof of a Machine Closed Theorem in Coq

By Hai Wan, Anping He, Zhiyang You and Xibin Zhao
Publisher: Hindawi Limited
Year: 2014
DOI identifier: 10.1155/2014/892832
OAI identifier:
Provided by: MUCC (Crossref)
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://downloads.hindawi.com/j... (external link)
  • http://doi.org/10.1155/2014/89... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.