Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
101	Shawn Standefer 1001 Cathedral of Learning, Pittsburgh, PA 15260, www.standefer.net, Education: Thesis: Add to Reading List Source URL: standefer.weebly.com Language: English - Date: 2014-11-06 15:15:02 Analytic philosophy Analytic philosophers Philosophy of mathematics Metalogic Non-classical logic Proof theory Philosophy of logic Nuel Belnap Alan Ross Anderson Logic Philosophy Philosophical logic
102	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
103	Alameda County Local Application Process For the 2015 HUD Continuum of Care NOFA FREQUENTLY ASKED QUESTIONS EveryOne Home has received several questions concerning the HMIS Data Completeness Report, to which Bowman Syste Add to Reading List Source URL: www.everyonehome.org Language: English - Date: 2015-05-05 12:47:23 Mathematical logic Metalogic Proof theory Logic Data quality ALGOL 68 Data cleansing Report card Mathematics Programming language theory Completeness
104	Computational Rationalization: The Inverse Equilibrium Problem Kevin Waugh Brian D. Ziebart J. Andrew Bagnell Carnegie Mellon University, 5000 Forbes Ave, Pittsburgh, PA, USA 15213 Add to Reading List Source URL: www.icml-2011.org Language: English - Date: 2011-06-01 14:49:36 Metalogic Model theory Principle of maximum entropy Maximum likelihood Statistics Statistical theory Probability and statistics
105	JMLR: Workshop and Conference Proceedings 34:94–108, 2014 Proceedings of the 12th ICGI Very efficient learning of structured classes of subsequential functions from positive data Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Models of computation Theoretical computer science Finite state transducer Metalogic Symbol Structure String Automata theory Formal languages Mathematics
106	MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Metalogic Model theory Multiset NP-complete problems Presburger arithmetic Satisfiability Modulo Theories Cardinality Generalized arithmetic progression Mathematics Mathematical logic Theoretical computer science
107	SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder * Consi Add to Reading List Source URL: forsyte.at Language: English - Date: 2015-05-23 04:55:09 Probability theory Metalogic Model theory Automata theory
108	PDF Document Add to Reading List Source URL: www.inftyproject.org Language: English - Date: 2005-05-31 11:00:00 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
109	Multi-Core Emptiness Checking of Timed B¨ uchi ∗ Automata using Inclusion Abstraction Alfons Laarman1 , Mads Chr. Olesen2 , Andreas Dalsgaard2 , Kim G. Larsen2 , and Jaco van de Pol1 Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2013-06-13 05:44:50 Models of computation Deduction Entailment Logical consequence Metalogic S0 Cyan Advanced Configuration and Power Interface Finite-state machine Color Logic Automata theory
110	PDF Document Add to Reading List Source URL: camille.roth.free.fr Language: English - Date: 2007-03-15 19:34:48 Entailment Logical consequence Metalogic Causality Markov chain Blog Logic Philosophy of science Deduction