Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
331	On the Parameterised Intractability of Monadic Second-Order Logic Stephan Kreutzer ⋆ Oxford University Computing Laboratory, Abstract. One of Courcelle’s celebrated results states that if C Add to Reading List Source URL: logic.las.tu-berlin.de Language: English - Date: 2015-06-17 12:07:41
332	On Deductive Inference Axel Arturo Barceló Aspeitia [Draft - Comments Encouraged] Despite its centrality to logic, it is surprising how little foundational work has been done on the topic o Add to Reading List Source URL: www.filosoficas.unam.mx Language: English - Date: 2016-08-15 16:08:56
333	Animate Assemblies: Reactive Structures ( Empirical Modeling, Component Logic, Sustainability ) by Add to Reading List Source URL: www.formz.com Language: English - Date: 2014-11-21 12:20:08
334	Epistemic Logic Implicit probabilistic structures Explicit probabilistic structures Dutch Books for (logical) dummies Impossible States at Work Add to Reading List Source URL: mikael.cozic.free.fr Language: English - Date: 2006-08-18 10:32:54
335	Reactive Synthesis from Signal Temporal Logic Specifications Vasumathi Raman Alexandre Donzé Add to Reading List Source URL: dorsa.fyi Language: English - Date: 2018-08-10 01:41:28
336	From Worlds to Situations John Perry Journal of Philosophical Logic): This version is from The Problem of the Essential Indexical, 2nd edition (Stanford: CSLI Publications, 2000) Add to Reading List Source URL: john.jperry.net Language: English - Date: 2017-10-22 23:34:28
337	Flog : Logic Programming for So1ware Deﬁned Networks Naga Praveen Ka=a, Jennifer Rexford, David Walker Princeton University Add to Reading List Source URL: frenetic-lang.org Language: English - Date: 2018-03-01 22:09:42
338	Linkless and flat embeddings in the 3-space Ken-ichi Kawarabayashi∗ Stephan Kreutzer† Bojan Mohar‡ Add to Reading List Source URL: logic.las.tu-berlin.de Language: English - Date: 2015-06-17 12:07:41
339	Prof. Dr. Mircea Dumitru Lucrări publicate și activitate științifică Prof. dr. Mircea Dumitru Cărţi 1.On Incompleteness in Modal Logic. An Account through Second-Order Logic, UMI, A Add to Reading List Source URL: filosofie.unibuc.ro Language: Romanian - Date: 2011-11-29 05:55:10
340	Independence and Large Cardinals Peter Koellner April 16, 2010 The independence results in arithmetic and set theory led to a proliferation of mathematical systems. One very general way to investigate the space of possib Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2011-09-20 00:26:33

UPDATE