Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
941	Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Software engineering Logic Mathematical logic Logic programming Logic in computer science Automated theorem proving Predicate logic Prolog Horn clause Resolution Partial evaluation Mereology
942	Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-03 05:32:06 Computing Concurrency control Software Software transactional memory Non-blocking algorithm Lock Parallel computing Concurrency Concurrent data structure Separation logic Thread Concurrent computing
943	Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method Duygu C ¸ akmak, Halit Erdo˘gan, and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, Istanbul, Turke Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 00:29:12 Mathematics Equations Algorithm Mathematical logic Theoretical computer science Equation solving Abstraction Philosophy of mathematics
944	Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-10-20 05:03:57 Logic Mathematical logic Non-classical logic Modal logic Proof theory Philosophical logic Model theory Admissible rule Sequent Normal modal logic Kripke semantics Intuitionistic logic
945	CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-27 15:26:23 Logic Constraint programming Constraint satisfaction problem Model theory Abstraction Philosophy Constraint satisfaction Satisfiability Algebraic structure
946	Microsoft Word - Phil Assessment Plan.docx Add to Reading List Source URL: humanities.ucsc.edu Language: English - Date: 2016-08-04 19:22:46 Philosophy Academia Philosophy of biology Analytic philosophy Immanuel Kant Ethics Logic Epistemology
947	Low-cost nanosecond electronic coincidence detector Taehyun Kim∗ , Marco Fiorentino, Pavel V. Gorelik and Franco N. C. Wong arXiv:physics/0501141v1 [physics.ins-det] 27 JanResearch Laboratory of Electronics, Mas Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-02 00:07:27 Electronics Electromagnetism Technology Electronic test equipment Digital electronics Electronic circuits Radio electronics Signal processing Transistortransistor logic Pulse generator Coincidence detection in neurobiology Logic family
948	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
949	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English Algebra Abstract algebra Group theory Algebraic number theory Galois theory Frobenius group Galois module Order Free group Linear temporal logic
950	SOLVING SUDOKU by Michael Mepham What is sudoku? Add to Reading List Source URL: www.cluemaster.com Language: English - Date: 2009-09-22 21:02:34 Logic puzzles NP-complete problems Puzzles Mathematics Leisure Recreational mathematics Sudoku Logic Crossword Cryptic crossword Mathematical puzzle Mathematics of Sudoku