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:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top