Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Andreoli, J.M.: Logic programming with focusing proofs in linear logic. J. Logic Comput. 2(3), 297–347 (1992)
2. Lecture Notes in Computer Science;M. Armand,2011
3. Lecture Notes in Computer Science;F. Besson,2011
4. Farooque, M., Graham-Lengrand, S.: Sequent calculi with procedure calls. Technical report, Laboratoire d’Informatique de l’Ecole Polytechnique (January 2013),
http://hal.archives-ouvertes.fr/hal-00779199
5. Farooque, M., Graham-Lengrand, S., Mahboubi, A.: A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus. In: Momigliano, A., Pientka, B., Pollack, R. (eds.) Proceedings of the 2013 International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2013), Boston, USA. ACM Press (September 2013)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Stoic Sequent Logic and Proof Theory;History and Philosophy of Logic;2019-03-29
2. Improving complex SMT strategies with learning;International Transactions in Operational Research;2019-03-15
3. Scalable Fine-Grained Proofs for Formula Processing;Journal of Automated Reasoning;2019-01-04
4. A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic;Lecture Notes in Computer Science;2019
5. Proofs in conflict-driven theory combination;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs;2018-01-08