1![Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007 Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007](https://www.pdfsearch.io/img/d47df21c8c27f2b927b8809e050b7481.jpg) | Add to Reading ListSource URL: formal.iti.kit.eduLanguage: English - Date: 2016-07-22 17:55:15
|
---|
2![Deontic Logic in Computer Science Leon van der Torre & Jörg Hansen ESSLIAugust 2008 Deontic Logic in Computer Science Leon van der Torre & Jörg Hansen ESSLIAugust 2008](https://www.pdfsearch.io/img/679f82f91c3cda19d7424b536415a053.jpg) | Add to Reading ListSource URL: icr.uni.luLanguage: English - Date: 2014-12-05 12:20:28
|
---|
3![αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu](https://www.pdfsearch.io/img/cd4c8e75c264bb2450ad8385b6365f6b.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2012-08-10 19:21:16
|
---|
4![23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡ 23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡](https://www.pdfsearch.io/img/b1c4bacf9f04f2cf76e74d3fe05d82d0.jpg) | Add to Reading ListSource URL: www.cs.rhul.ac.ukLanguage: English - Date: 2013-02-08 18:19:58
|
---|
5![Introduction to higher-order computation Nordic Logic School, Stockholm, 2017 Mart´ın H¨otzel Escard´o Theory Group, School of Computer Science University of Birmingham, UK Introduction to higher-order computation Nordic Logic School, Stockholm, 2017 Mart´ın H¨otzel Escard´o Theory Group, School of Computer Science University of Birmingham, UK](https://www.pdfsearch.io/img/b2912ffabafe8f5fed0affe68e0f9fc8.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2017-08-10 12:41:25
|
---|
6![Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C](https://www.pdfsearch.io/img/97531bf01b6aa9c7c17ae04a6c35de3e.jpg) | Add to Reading ListSource URL: web.student.chalmers.seLanguage: English - Date: 2010-08-22 03:55:59
|
---|
7![ESSLLI08: Deontic Logic in Computer Science Part 2b/5: Normative Multi-Agent Systems J¨org Hansen and Leendert van der Torre Normative multiagent systems as a research area can be defined as the intersection of normativ ESSLLI08: Deontic Logic in Computer Science Part 2b/5: Normative Multi-Agent Systems J¨org Hansen and Leendert van der Torre Normative multiagent systems as a research area can be defined as the intersection of normativ](https://www.pdfsearch.io/img/c3f5e09605c544e104dde6413366e398.jpg) | Add to Reading ListSource URL: icr.uni.luLanguage: English - Date: 2014-12-05 12:20:25
|
---|
8![ESSLLI08: Deontic Logic in Computer Science Part 3b/5: Norms, Obligations, Time and Agents J¨org Hansen and Leendert van der Torre 1 Makinson’s examples ESSLLI08: Deontic Logic in Computer Science Part 3b/5: Norms, Obligations, Time and Agents J¨org Hansen and Leendert van der Torre 1 Makinson’s examples](https://www.pdfsearch.io/img/87b6549f347b32597a7744fac5cf953b.jpg) | Add to Reading ListSource URL: icr.uni.luLanguage: English - Date: 2014-12-05 12:20:27
|
---|
9![On the Unusual Effectiveness of Logic in Computer Science Joseph Y. Halpern Robert Harper Neil Immerman On the Unusual Effectiveness of Logic in Computer Science Joseph Y. Halpern Robert Harper Neil Immerman](https://www.pdfsearch.io/img/e40844004532bda3197f133d8fb34387.jpg) | Add to Reading ListSource URL: www.cs.upc.edu- Date: 2008-10-15 05:37:21
|
---|
10![Open Questions in Non-Classical Logic, Mathematics and Philosophy Can BA¸ SKENT Department of Computer Science, University of Bath Open Questions in Non-Classical Logic, Mathematics and Philosophy Can BA¸ SKENT Department of Computer Science, University of Bath](https://www.pdfsearch.io/img/22250cea379aa8bd3d16bd04e8e1fb34.jpg) | Add to Reading ListSource URL: canbaskent.net- Date: 2016-01-18 05:14:20
|
---|