1![ON ANALYTICITY IN DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoSCoS generalises the s ON ANALYTICITY IN DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoSCoS generalises the s](https://www.pdfsearch.io/img/fbf1e8560dfbc5b4308e3a24e909612f.jpg) | Add to Reading ListSource URL: cs.bath.ac.uk- Date: 2016-12-16 05:02:50
|
---|
2![28 JuneNon-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨ 28 JuneNon-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨](https://www.pdfsearch.io/img/7c8a9e245a6b10c9b52cd76f110b8c26.jpg) | Add to Reading ListSource URL: www.ki.inf.tu-dresden.de- Date: 2005-09-20 10:33:34
|
---|
3![Resolution in the Calculus of Structures Resolution in the Calculus of Structures](https://www.pdfsearch.io/img/a18dc5c37493a046c69468c8e0412441.jpg) | Add to Reading ListSource URL: cs.bath.ac.uk- Date: 2007-12-18 10:37:38
|
---|
4![RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky](https://www.pdfsearch.io/img/04b52ed2d04396b286d5cb0919bb834f.jpg) | Add to Reading ListSource URL: rdp15.mimuw.edu.plLanguage: English - Date: 2015-07-08 00:48:54
|
---|
5![A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system](https://www.pdfsearch.io/img/13905f2d7d6be597e0ce1e8b1ed81806.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2015-04-07 12:31:04
|
---|
6![The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr](https://www.pdfsearch.io/img/db31f1bcc25bcd0f90a040a8b1d3f3b0.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2011-06-22 07:54:11
|
---|
7![Low-Rank Tensors for Scoring Dependency Structures Tao Lei, Yu Xin, Yuan Zhang, Regina Barzilay, and Tommi Jaakkola Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {taolei, y Low-Rank Tensors for Scoring Dependency Structures Tao Lei, Yu Xin, Yuan Zhang, Regina Barzilay, and Tommi Jaakkola Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {taolei, y](https://www.pdfsearch.io/img/4953c8e8c687d8f2b3b6099f64004c75.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2014-05-27 13:12:59
|
---|
8![Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics](https://www.pdfsearch.io/img/17f3a0321c8696a594c6549a2f8678f5.jpg) | Add to Reading ListSource URL: www.hermit-reasoner.comLanguage: English - Date: 2012-02-03 12:06:02
|
---|
9![Reducts of structures and maximal-closed permutation groups Manuel Bodirsky∗, Laboratoire d’Informatique (LIX), CNRS UMR 7161, Ecole Polytechnique, 91128 Palaiseau, France, Reducts of structures and maximal-closed permutation groups Manuel Bodirsky∗, Laboratoire d’Informatique (LIX), CNRS UMR 7161, Ecole Polytechnique, 91128 Palaiseau, France,](https://www.pdfsearch.io/img/5a21eec2be546b14949f211dd03a20fe.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2014-01-29 07:07:24
|
---|
10![SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants](https://www.pdfsearch.io/img/6f53b95aad652502da25abfae2294642.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2014-07-29 07:43:08
|
---|