Programming Systems Lab: Publications by Julian Backes

Saarland University Computer Science

Select author:

2011

Analytic Tableaux for Higher-Order Logic with Choice   (pdf)
Julian Backes, Chad E. Brown
Journal of Automated Reasoning

2010

Analytic Tableaux for Higher-Order Logic with Choice   (pdf)
Julian Backes, Chad E. Brown
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings


Login to edit


Legal notice, Privacy policy