Author:
Antonsen Roger,Waaler Arild
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference23 articles.
1. Andrews, P.B.: Theorem proving via general matings. J. Assoc. Comput. Mach. 28(2), 193–214 (1981)
2. Antonsen, R.: Uniform variable splitting. In: Contributions to the Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), Cork, Ireland, July 4–8 2004, vol. 106, pp. 1–5. CEUR Workshop Proceedings http://ceur-ws.org/Vol-106/01-antonsen.pdf (2004)
3. Antonsen, R., Waaler, A.: Consistency of variable splitting in free variable systems of first-order logic. In: Beckert, B. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX, Koblenz, Germany. Lecture Notes in Computer Science, vol. 3702, pp. 33–47. Springer, Berlin Heidelberg New York (2005)
4. Baaz, M., Fermüller, C.G.: Non-elementary speedups between different versions of tableaux. In: Baumgartner, R.H. Peter, Possega J. (eds.) 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Lecture Notes in Artificial Intelligence, vol. 918, pp. 217–230. Springer, Berlin Heidelberg New York (1995)
5. Beckert, B., Goré, R.: Free-variable tableaux for propositional modal logics. Stud. Log. 69(1), 59–96 (2001)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献