Author:
Burel Guillaume,Kirchner Claude
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Aiguier, M., Boin, C., Longuet, D.: On generalized theorems for normalization of proofs. Technical report, LaMI - CNRS and Université d’Evry Val d’Essonne (2005)
2. Baader, F., Nipkow, T.: Term Rewriting and all That. Cambridge University Press, Cambridge (1998)
3. Barendregt, H., Barendsen, E.: Autarkic computations in formal proofs. Journal of Automated Reasoning 28, 321–336 (2002)
4. Bonacina, M.P., Dershowitz, N.: Abstract canonical inference. ACM Trans. Comput. Logic 8 (2007)
5. Lecture Notes in Artificial Intelligence;R. Bonichon,2004
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Regaining cut admissibility in deduction modulo using abstract completion;Information and Computation;2010-02
2. Resolution is Cut-Free;Journal of Automated Reasoning;2009-10-17
3. Axiom Directed Focusing;Lecture Notes in Computer Science;2009
4. Atomic Metadeduction;KI 2009: Advances in Artificial Intelligence;2009
5. Canonicity!;Automated Reasoning