Cartesian - PDFSEARCH.IO - Document Search Engine

Cartesian
Results: 1198

#	Item
111	Math. Proc. Camb. Phil. Soc), 95, 33 Printed in Great Britain 33 Locally cartesian closed categories and type theory Add to Reading List Source URL: www.math.mcgill.ca Language: English - Date: 2010-11-03 00:39:34
112	Cuts in Cartesian Products of Graphs Sushant Sachdeva ∗ Madhur Tulsiani Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2011-10-12 09:48:29
113	On Cartesian Trees, Lowest Common Ancestors, and Range Minimum Queries6 Add to Reading List Source URL: cs.haifa.ac.il Language: English - Date: 2009-11-22 11:09:43
114	Journal of Classification 27:DOI: s00357Dimensionality Reduction on the Cartesian Product of Embeddings of Multiple Dissimilarity Matrices Zhiliang Ma Add to Reading List Source URL: www.cis.jhu.edu Language: English - Date: 2011-01-03 11:40:59
115	Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:41 Logic Theoretical computer science Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol General topology Cartesian closed category Lambda calculus
116	The Cover Time of Cartesian Product Graphs Mohammed Amin Abdullah Colin Cooper Tomasz Radzik Add to Reading List Source URL: www.mohammedabdullah.com Language: English - Date: 2015-10-03 15:58:11
117	Cartesian Closed Categories of Domains Vom Fachbereich Mathematik der Technischen Hochschule Darmstadt zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-07-05 10:47:23
118	Supporting Ad-hoc Ranking Aggregates∗ Chengkai Li Kevin Chen-Chuan Chang Department of Computer Science Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2006-07-07 10:45:02 Binary operations Relational model Database theory Data management Relational database Tuple Extensible Storage Engine Finitary relation Relation Exponentiation Cartesian product Tuple relational calculus
119	Control of a Cartesian Robot Judy Franklin, Terri Noyes, Gerry Pocock Laboratory/or Perceptual Robotics CompUler and h(formation Science Departmelll University of AI assachusells Amherst. Ala.l.wchusells 01003 Add to Reading List Source URL: www.forth.com Language: English - Date: 2011-10-01 19:01:09
120	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad

UPDATE