A Purely Logical Account of Sequentiality in Proof Search Paola Bruscoli Technische Universit¨at Dresden Fakult¨ at InformatikDresden - Germany - TU Dresden - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2006-03-26 13:44:36		A Purely Logical Account of Sequentiality in Proof Search Paola Bruscoli Technische Universit¨at Dresden Fakult¨ at InformatikDresden - Germany Add to Reading List Source URL: www.ki.inf.tu-dresden.de Download Document from Source Website File Size: 194,59 KB Share Document on Facebook