The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oslo 2009
The TABLEAUX conference is the natural annual meeting point for researchers with an interest in deduction methods based on systems of tableaux. Research in this area spans a wide range of themes in computer science, mathematics, and philosophy, including both theoretical works, use of logical met...