Author:
Antonsen Roger,Waaler Arild
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Artificial Intelligence;R. Antonsen,2005
2. Antonsen, R., Waaler, A.: Liberalized variable splitting. Journal of Automated Reasoning 38, 3–30 (2007)
3. Bibel, W.: Automated Theorem Proving. 2. edn. Vieweg Verlag (1987)
4. Dyckhoff, R.: Contraction-free sequent calculi for intuitionistic logic. Journal of Symbolic Logic 57, 795–807 (1992)
5. Giese, M.: Proof Search without Backtracking for Free Variable Tableaux. PhD thesis, Fakultät für Informatik, Universität Karlsruhe (July 2002)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献