Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
441	SHARP AND APPROXIMATE QUANTUM COMPUTATIONAL LOGICS MARIA LUISA DALLA CHIARA AND ROBERTO GIUNTINI Quantum computational logics (QCLs) are new forms of quantum logic, that represent a natural logical abstraction from the t Add to Reading List Source URL: www.iub.edu - Date: 2009-04-04 22:10:26
442	Logic Pro X 10.3 – David Nahmani Add to Reading List Source URL: www.smartbooks.de - Date: 2017-12-05 04:04:30
443	Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic Add to Reading List Source URL: cliplab.org - Date: 2015-01-06 02:54:25
444	Topological quantum computation and quantum logic Zhenghan Wang Microsoft Station Q UC Santa Barbara Add to Reading List Source URL: www.iub.edu - Date: 2009-05-12 06:27:29
445	Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1 Add to Reading List Source URL: cliplab.org - Date: 2009-08-18 19:10:21
446	Incremental Analysis of Constraint Logic Programs MANUEL HERMENEGILDO and GERMAN PUEBLA Universidad Polit´ecnica de Madrid KIM MARRIOTT Monash University and Add to Reading List Source URL: cliplab.org - Date: 2005-07-26 16:20:28
447	Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction Shinnosuke Mizutani Naoki Nishida Add to Reading List Source URL: www.cs.ox.ac.uk - Date: 2017-09-09 06:01:35
448	Under consideration for publication in Theory and Practice of Logic Programming 1 Lightweight compilation of (C)LP to JavaScript ∗ Jose F. Morales1 , Rémy Haemmerlé2 , Add to Reading List Source URL: cliplab.org - Date: 2012-06-27 16:30:59
449	Int J Theor Phys: 769–802 DOIs10773A Link between Quantum Logic and Categorical Quantum Mechanics John Harding Add to Reading List Source URL: www.iub.edu - Date: 2009-03-23 12:49:41
450	Univalence as a Principle of Logic Steve Awodey October 2016 Abstract It is sometimes convenient or useful in mathematics to treat isomorphic structures as the same. The recently proposed Univalence Axiom for the foundat Add to Reading List Source URL: www.andrew.cmu.edu - Date: 2018-02-12 22:13:01

UPDATE