Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
241	Qualitative Spatial Reasoning in Interpreting Text and Narrative Ernest Davis∗ Dept. of Computer Science New York University [removed] Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-09-05 16:39:50 Deduction Entailment Logical consequence Statistical hypothesis testing Function Logic Philosophical logic Metalogic
242	Proving the Security of AES Substitution-Permutation Network Thomas Baign`eres? and Serge Vaudenay EPFL http://lasecwww.epfl.ch Add to Reading List Source URL: www.baigneres.net Language: English - Date: 2013-07-24 10:25:38 Entailment Logical consequence Metalogic Curry–Howard correspondence Advanced Encryption Standard Orbifold Measure of non-compactness Logic Deduction Proof theory
243	Can We Beat the Prefix Filtering? An Adaptive Framework for Similarity Join and Search Jiannan Wang Guoliang Li Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-03-17 09:23:41 Deduction Entailment Logical consequence Metalogic Philosophical logic EMD E-unit Rail transport Land transport Logic
244	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-01 14:35:06 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics
245	QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC Konstantine Arkoudas, Selmer Bringsjord Departments of Cognitive and Computer Science, RPI, Troy, NY, USA [removed], [removed] Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-06 02:48:10 Philosophical logic Model theory Deduction Symbol Entailment Structure Interpretation If and only if Modal logic Logic Metalogic Binary operations
246	A type-theoretic framework for formal reasoning with different logical foundations Zhaohui Luo? Dept of Computer Science, Royal Holloway, Univ of London Egham, Surrey TW20 0EX, U.K. [removed] Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English Type theory Dependently typed programming Metalogic Logic in computer science Mathematical constructivism Intuitionistic type theory Logical framework Constructivism Impredicativity Logic Mathematics Mathematical logic
247	Combining Shared State with Speculative Parallelism in a Functional Language Matthew Le Matthew Fluet Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Deduction Entailment Logical consequence Logical syntax Metalogic Monad Thread Parallel computing Schedule Logic Computing Software engineering
248	Error Handling Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent University [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-03-21 08:22:58 Type theory Semantics Predicate logic Proof theory Quantification Type system Model theory Mathematical logic Exception handling Logic Metalogic Science
249	Separation Logic for Small-step Cminor Andrew W. Appel1,? and Sandrine Blazy2,? 1 Princeton University 2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Deduction Logic in computer science Entailment Logical consequence Model theory Symbol Separation logic Hoare logic Logic Metalogic Program logic
250	DOC Document Add to Reading List Source URL: www.curriculumsupport.education.nsw.gov.au Language: English - Date: 2006-02-20 23:52:47 Orthography Writing systems Metalanguage Metalogic Novel Reading Knowledge Linguistics Applied linguistics Education

UPDATE