Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
651	Lecture Notes on Harmony: Linear Logic Frank Pfenning Lecture 3 January 23, 2012 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2012-02-17 11:16:30
652	Bulletin of the Section of Logic Volume 38:), pp. 5–11 George Metcalfe A SEQUENT CALCULUS FOR CONSTRUCTIVE LOGIC Add to Reading List Source URL: www.filozof.uni.lodz.pl - Date: 2013-11-13 07:57:58
653	Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2006-10-18 10:00:12
654	The Iris 3.0 Documentation http://plv.mpi-sws.org/iris/ December 12, 2016 Abstract This document describes formally the Iris program logic. Every result in this document has Add to Reading List Source URL: plv.mpi-sws.org - Date: 2016-12-12 11:17:52
655	A Higher-Order Logic for Concurrent Termination-Preserving Refinement Joseph Tassarotti1 , Ralf Jung2 , and Robert Harper1 1 Carnegie Mellon University, Pittsburgh, USA Add to Reading List Source URL: people.mpi-sws.org - Date: 2016-10-22 08:05:55
656	Transforming Functional Logic Programs into Monadic Functional Programs Bernd Braßel Sebastian Fischer Add to Reading List Source URL: www.informatik.uni-kiel.de - Date: 2011-03-21 20:35:59
657	Motivation Decorated Logic: States Exceptions Add to Reading List Source URL: ljk.imag.fr - Date: 2014-07-13 19:18:03
658	Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich MIT CSAIL Abstract Add to Reading List Source URL: pdos.csail.mit.edu - Date: 2016-12-17 14:43:18
659	Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes Paul Tarau Department of Computer Science and Engineering University of North Texas Research supported in part by NSF grant Add to Reading List Source URL: logic.cse.unt.edu - Date: 2010-09-25 09:01:59
660	CALL FOR PAPERS Reed-Muller 2017 Workshop May 24-25, 2017, Novi Sad, Serbia After the International Symposium on Multiple-Valued Logic, May 22-24, 2017, Novi Sad, Serbia The goal of the Reed-Muller 2017 Workshop is to pr Add to Reading List Source URL: www.mvl.jpn.org - Date: 2016-10-23 18:01:27

UPDATE