Author:
Lüth Christoph,Wolff Burkhart
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A drag-and-drop proof tactic;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11
2. Automated Generation of User Guidance by Combining Computation and Deduction;Electronic Proceedings in Theoretical Computer Science;2012-02-21
3. Assisted Proof Document Authoring;Lecture Notes in Computer Science;2006
4. A Semi-reflexive Tactic for (Sub-)Equational Reasoning;Lecture Notes in Computer Science;2006
5. Theorem Reuse by Proof Term Transformation;Lecture Notes in Computer Science;2004