211![RAC Rev. R. Acad. Cien. Serie A. Mat. VOL[removed]), 2004, pp. 17–53 Ciencias de la Computaci´on / Computational Sciences RAC Rev. R. Acad. Cien. Serie A. Mat. VOL[removed]), 2004, pp. 17–53 Ciencias de la Computaci´on / Computational Sciences](https://www.pdfsearch.io/img/5d9654b057c5fb6984e8f8a4ef883a33.jpg) | Add to Reading ListSource URL: dmle.cindoc.csic.esLanguage: English - Date: 2006-11-08 13:46:09
|
---|
212![EN Case No COMP/M.1643 IBM / SEQUENT Only the English text is available and authentic. EN Case No COMP/M.1643 IBM / SEQUENT Only the English text is available and authentic.](https://www.pdfsearch.io/img/4222f2f23b07e35c9c2e4c287084c84a.jpg) | Add to Reading ListSource URL: ec.europa.euLanguage: English - Date: 2008-12-04 08:47:59
|
---|
213![Jaakko Hintikka Boston University and Ilpo Halonen University of Helsinki Jaakko Hintikka Boston University and Ilpo Halonen University of Helsinki](https://www.pdfsearch.io/img/f1ed3140599d317da227a520492f36e2.jpg) | Add to Reading ListSource URL: scistud.umkc.eduLanguage: English - Date: 2002-07-15 23:21:00
|
---|
214![27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY 27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY](https://www.pdfsearch.io/img/ebb10120146cf8ec43b2cbbe85aca184.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2007-12-18 10:38:50
|
---|
215![AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful! AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful!](https://www.pdfsearch.io/img/860cfaa2d2f723869b3e2af027227cb5.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2007-12-18 10:37:48
|
---|
216![A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Paola Bruscoli1? , Alessio Guglielmi1?? , Tom Gundersen1? ? ? , and Michel Parigot2† 1 A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Paola Bruscoli1? , Alessio Guglielmi1?? , Tom Gundersen1? ? ? , and Michel Parigot2† 1](https://www.pdfsearch.io/img/23497d211794bae22db86cc2099ee9ec.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2010-07-17 14:32:37
|
---|
217![AG13 FORMALISM B Alessio Guglielmi (TU Dresden[removed]In this note (originally posted on[removed]to the Frogs mailing AG13 FORMALISM B Alessio Guglielmi (TU Dresden[removed]In this note (originally posted on[removed]to the Frogs mailing](https://www.pdfsearch.io/img/c597f2eb655111e0694bd574a23cad4d.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2007-12-18 10:37:44
|
---|
218![28 June[removed]Non-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨ 28 June[removed]Non-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨](https://www.pdfsearch.io/img/afa7899c78c3f103d7994dd45f97ac0a.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2007-12-18 10:38:31
|
---|
219![Lecture Notes on Focusing Oregon Summer School 2010 Proof Theory Foundations Frank Pfenning Lecture 4 Lecture Notes on Focusing Oregon Summer School 2010 Proof Theory Foundations Frank Pfenning Lecture 4](https://www.pdfsearch.io/img/4a49b9dc0841178be5b7416a947704c2.jpg) | Add to Reading ListSource URL: www.cs.cmu.eduLanguage: English - Date: 2010-06-23 09:43:10
|
---|
220![Technical Report WV[removed]November 2005 On Structuring Proof Search for First Order Linear Logic Technical Report WV[removed]November 2005 On Structuring Proof Search for First Order Linear Logic](https://www.pdfsearch.io/img/9bd20fccd7021bcf615f025274756366.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2012-01-04 16:21:37
|
---|