Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
191	DRAFT A separation logic for the π -calculus Aaron Turon Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-07-20 15:14:47 Metalogic Models of computation Theoretical computer science Process calculi Denotational semantics Interpretation Π-calculus Entailment Structure Logic Mathematics Model theory
192	LiLT volume 9, issue 1 July 2013 Synthetic logic Alex J. Djalali1 Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2013-11-12 22:35:43 Logical syntax Formal languages Entailment Logical consequence Interpretation Natural deduction Model theory Well-formed formula Function Logic Metalogic Deduction
193	Graph Logics with Rational Relations and the Generalized Intersection Problem Pablo Barcel´o Diego Figueira Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:07:03 Formal languages Metalogic Computability theory Automata theory Model theory Structure Regular language Decision problem Reduction Theoretical computer science Mathematics Applied mathematics
194	Bisimulations for Untyped Imperative Objects Vasileios Koutavas and Mitchell Wand Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2006-01-06 10:40:05 Mathematics Logic Metalogic Model theory Structure
195	Expressive Languages for Path Queries over Graph-Structured Data Pablo Barcelo´ Carlos Hurtado Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-04-02 11:57:56 Metalogic Model theory Structure Universal algebra FO Probabilistically checkable proof String Data integration Conjunctive query Mathematics Formal languages Theoretical computer science
196	A First-Order Theory of Communication Multi-Agent Plans: Appendix B Leora Morgenstern IBM Watson Labs Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-03-06 13:46:11 Logical consequence Logical syntax Metalogic S0 Logic Deduction Entailment
197	Intro Models of “why” Where next? Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Metalogic Model theory Scientific theory Conjecture Economic model Science Cognition Epistemology
198	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Metalogic Well-formed formula Logical connective FO Closed world assumption Logic Mathematical logic Mathematics
199	Journal of Scientific Exploration, Vol. 16, No. 3, pp. 341–357, 02 M* : Vector Representation of the Subliminal Seed Regime of M5 Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2010-11-03 02:50:56 Logical consequence Logical syntax Metalogic Princeton Engineering Anomalies Research Lab FGC line S1 Logic Deduction Entailment
200	The WRF NMM Core Zavisa Janjic () Talk modified and presented by Matthew Pyle Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2013-02-04 17:42:03 Logic Abstraction Metalogic Model theory Structure

UPDATE