Focused Inductive Theorem Proving-Reference-Cited by-同舟云学术

Focused Inductive Theorem Proving

Published:2010 Issue: Volume: Page:278-292
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

Baelde David,Miller Dale,Snow Zachary

Publisher

Springer Berlin Heidelberg

Link

https://link.springer.com/content/pdf/10.1007/978-3-642-14203-1_24

Reference13 articles.

1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. of Logic and Computation 2(3), 297–347 (1992)

2. Baelde, D.: A linear approach to the proof-theory of least and greatest fixed points. PhD thesis, Ecole Polytechnique (December 2008)

3. Baelde, D.: On the expressivity of minimal generic quantification. In: Abel, A., Urban, C. (eds.) International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2008). ENTCS, vol. 228, pp. 3–19 (2008)

4. Lecture Notes in Artificial Intelligence;D. Baelde,2007

5. Lecture Notes in Computer Science;K. Chaudhuri,2005

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

1. Semi-Automation of Meta-Theoretic Proofs in Beluga;Electronic Proceedings in Theoretical Computer Science;2023-11-17

2. Towards a unified proof framework for automated fixpoint reasoning using matching logic;Proceedings of the ACM on Programming Languages;2020-11-13

3. Indexed codata types;ACM SIGPLAN Notices;2016-12-05

4. Indexed codata types;Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04

5. Proof Outlines as Proof Certificates: A System Description;Electronic Proceedings in Theoretical Computer Science;2015-11-08