Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
141	A Logic for Encapsulation in Object Oriented Languages (Extended Abstract) Michele Bugliesi1 Dip. di Matematica Pura ed Applicata, Univ. di Padova Via Belzoni 7, IPadova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:22:33 Philosophical logic Metalogic Deduction Predicate logic Modal logic Entailment Interpretation Function Proof theory Logic Mathematical logic Model theory
142	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
143	LNCSSpecifying Compositional Units for Correct Program Development in Computational Logic Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-06-15 05:19:36 Mathematical logic Functions and mappings Metalogic Differential topology Interpretation Structure Function Embedding Sheaf Mathematics Model theory Topology
144	Making Σ-Protocols Non-Interactive without Random Oracles Pyrros Chaidos, Jens Groth University College London Add to Reading List Source URL: www.iacr.org Language: English - Date: 2015-03-27 08:17:32 Applied mathematics Mathematics Complexity classes Metalogic Zero-knowledge proof Soundness IP NP Completeness Theoretical computer science Cryptographic protocols Proof theory
145	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Metalogic Model theory FO Interpretation Symbol Constructible universe Mathematics Logic Linear temporal logic Temporal logic
146	Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:33:56 Formal languages Metalogic Non-classical logic Logical syntax Sequent calculus Sequent Linear logic Entailment Intuitionistic logic Logic Mathematical logic Proof theory
147	Deep Sea Drilling Project Initial Reports Volume 93 Add to Reading List Source URL: www.deepseadrilling.org Language: English - Date: 2007-04-25 14:03:42 Logical syntax Metalogic Philosophical logic Propositional calculus Logic Deduction Entailment
148	Pre-proceedings of the KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 Edited by John-Jules Ch. Meyer and Jan Broersen August 11, 2008 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-08-11 05:22:29 Philosophical logic Metalogic Branches of philosophy Epistemic modal logic Non-monotonic logic Model theory Epistemology Logic programming Entailment Logic Non-classical logic Modal logic
149	Limiting Information Leakage in Event-based Communication Willard Rafnsson Andrei Sabelfeld Chalmers Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:16 Logical syntax Metalogic Philosophical logic Propositional calculus Ch Dependence analysis Logic Deduction Entailment
150	Counting Affine Calculator and Applications Sven Verdoolaege INRIA Saclay — Île-de-France Parc Club Orsay Universite, ZAC des vignes 4 rue Jacques Monod, 91893 Orsay, France Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2011-03-29 07:21:23 Compiler optimizations Linear algebra Deduction Entailment Logical consequence Metalogic Transitive closure Polytope model FO Mathematics Algebra Logic

UPDATE