Article citationsMore>>

Huet, G. (1991). The Gilbreath trick: A case study in axiomatisation and proof development in the Coq Proof Assistant. Proceedings of Second Workshop on Logical Frameworks, Edinburgh, May 1991. doi:10.1017/CBO9780511569807

has been cited by the following article:

Follow SCIRP
Twitter Facebook Linkedin Weibo
Contact us
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Copyright © 2006-2022 Scientific Research Publishing Inc. All Rights Reserved.