The RAISE specification language
The RAISE specification language
IMPS: an interactive mathematical proof system
Journal of Automated Reasoning
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
Proceedings of the Conference on Logic of Programs
Proofs About Lists Using Ellipsis
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Tentative experiments with ellipsis in mizar
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |
Terms containing triple dots are defined in the framework of an ad hoc small formal language of mathematical logic. It contains some constructions that make this task possible. The constructions include variables whose subscripts are arbitrary terms of the language, quantifiers of an infinite number of variables, and shorter forms of triple-dot terms, called star terms. Introduction of the terms and constructions in a practice-oriented language may make it more convenient.