26. TABLEAUX 2017: Brasília, Brazil

Invited Papers

Sequent Systems

Tableaux

Transitive Closure and Cyclic Proofs

Formalization and Complexity

maintained by Schloss Dagstuhl LZI at University of Trier