![Theoretical computer science / Automated theorem proving / Non-classical logic / Substructural logic / Calculus of structures / Logic programming / International Colloquium on Automata / Languages and Programming / Linear logic / Logic / Formal sciences / Mathematical logic Theoretical computer science / Automated theorem proving / Non-classical logic / Substructural logic / Calculus of structures / Logic programming / International Colloquium on Automata / Languages and Programming / Linear logic / Logic / Formal sciences / Mathematical logic](https://www.pdfsearch.io/img/5dd529c95c3643b75dbbd89f5e670b3a.jpg) Date: 2013-03-30 11:16:35Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic | | Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013Add to Reading ListSource URL: www.cs.bath.ac.ukDownload Document from Source Website File Size: 116,18 KBShare Document on Facebook
|