Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
111	Universe Subtyping in Martin-L¨of Type Theory Internship Report Gabriel Scherer under the supervision of Andreas Abel Revised version: August 24, 2011 The pragmatic goal of this internship was to establish the theoretic Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 11:20:39 Logical syntax Metalogic Philosophical logic Propositional calculus Natural deduction Curry–Howard correspondence Logic Deduction Entailment
112	A Fixpoint Calculus for Local and Global Program Flows Rajeev Alur Swarat Chaudhuri P. Madhusudan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:53 Formal languages Metalogic Automata theory Kripke semantics Sheaf theory Partition Nested word Well-formed formula Model theory Logic Mathematics Mathematical logic
113	Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011 Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:40:19 Metalogic Institution Common Algebraic Specification Language Parity of a permutation Structure Specification language Theory Model theory Mathematics Logic
114	SFEDL’04 Preliminary Version Semantics and Analysis of Instruction List Programs Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2004-02-19 22:18:10 Logic Metalogic Interpretation Structure Metaphilosophy Formal languages Model theory Mathematics
115	Generation of verification conditions for Abadi and Leino’s Logic of Objects [Extended Abstract] Francis Tang ∗ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:33:01 Model theory Metalogic Deduction First-order logic Predicate logic Euclidean algorithm Symbol Interpretation Function Logic Mathematics Mathematical logic
116	Structural Recursion over Contextual Objects Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel School of Computer Science Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-20 17:12:51 Functions and mappings Model theory Formal languages Metalogic Computability theory Symbol Interpretation Primitive recursive function Substitution Logic Mathematics Mathematical logic
117	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-07-07 17:53:08 Model theory Semantics Predicate logic Formal languages Metalogic First-order logic Alloy Analyzer Alloy Integer overflow Logic Mathematical logic Mathematics
118	Graph-based Ontology Classification in OWL 2 QL Domenico Lembo, Valerio Santarelli, and Domenico Fabio Savo Dipartimento di Ing. Informatica, Automatica e Gestionale “Antonio Ruberti” Sapienza Universit` a di Roma Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Science Semantic Web Information science Metalogic Knowledge representation Tbox Web Ontology Language Abox Description logic Logic Ontology Information
119	From Exponential to Polynomial-time Security Typing via Principal Types Sebastian Hunt1 and David Sands2 1 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-03-01 05:21:51 Logical consequence Logical syntax Metalogic Natural deduction Logic Deduction Entailment
120	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic

UPDATE