DMCA

Parallel Dialogue Games and Hypersequents for Intermediate Logics (2003)

Cached

Download Links

by Christian G. Fermüller , Technische Universität Wien
Venue:Proceedings of TABLEAUX 2003, Automated Reasoning with Analytic Tableaux and Related Methods
Citations:7 - 2 self