Proof by pointing-Reference-Cited by-同舟云学术

Proof by pointing

Published:1994 Issue: Volume: Page:141-160
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bertot Yves,Kahn Gilles,Théry Laurent

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57887-0_94.pdf

Reference17 articles.

1. A. Bonadio, E. Warren. Theorist Reference Manual, Prescience Corp. 814 Castro St. San Francisco, 1989

2. G. Boudol “Computational semantics of term rewriting systems”, in Algebraic Methods in Semantics, M. Nivat, J. C. Reynolds eds., Cambridge University Press, 1985.

3. “The Centaur 1.3 Manual”, I. Jacobs, ed., available from INRIA-Sophia-Antipolis, January 1993.

4. G. Dowek, A. Felty, H. Herbelin, G. Huet, C. Paulin-Mohring, B. Werner, The Coq Proof Assistant User's Guide, INRIA Technical Report no. 134, December 1991.

5. A. Felty, Specifying and Implementing Theorem Provers in a Higher-Order Logic Programming Language, PhD Thesis, University of Pennsylvania, August 1989.

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Unification for Subformula Linking under Quantifiers;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

2. A Living Monograph for Graph Transformation;Graph Transformation;2023

3. A drag-and-drop proof tactic;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11

4. Subformula Linking for Intuitionistic Logic with Application to Type Theory;Automated Deduction – CADE 28;2021

5. Design of Point-and-Click User Interfaces for Proof Assistants;Formal Methods and Software Engineering;2019