Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
601	Categorical Semantics for Linear Logic Wolfgang Jeltsch Add to Reading List Source URL: cs.ioc.ee - Date: 2013-06-19 18:27:52
602	Verification of Modifies Clauses in Dynamic Logic with Non-rigid Functions Christian Engel1 , Andreas Roth2 , Peter H. Schmitt1 , and Benjamin Weiß1 1 2 Add to Reading List Source URL: i12www.iti.kit.edu - Date: 2009-05-04 08:00:20
603	Programming in Linear Temporal Logic Wolfgang Jeltsch Programming in Linear Temporal Logic Add to Reading List Source URL: cs.ioc.ee - Date: 2011-02-10 10:21:33
604	VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs (Expanded Version) Robert Rand Computer and Information Sciences University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu - Date: 2015-04-10 14:47:36
605	Technische Universität München Lehrstuhl für Logik und Verifikation Automatic Proofs and Refutations for Higher-Order Logic Add to Reading List Source URL: mediatum.ub.tum.de
606	Inductive Logic Programming meets Relational Databases: An Application to Statistical Relational Learning Marcin Malec, Tushar Khot, James Nagy, Erik Blasch, and Sriraam Natarajan Abstract With the increasing amount of r Add to Reading List Source URL: homes.soic.indiana.edu - Date: 2016-05-01 18:51:06
607	Declarative and Logic Programming Mooly Sagiv Adapted from Peter Hawkins Jeff Ullman (Stanford) Why declarative programming Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2014-03-10 07:32:15
608	Jeffrey A. Barrett Logic and Philosophy of Science University of California, Irvine Irvine, CASeptember 2016 Add to Reading List Source URL: www.socsci.uci.edu - Date: 2016-09-07 17:50:21
609	Background reading on Hoare Logic Mike Gordon Learning Guide for the CST Part II course. The examinable material in the course Hoare Logic consists of what is actually presented in the lectures. This document aims to pro Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2012-04-04 07:18:24

UPDATE