<--- Back to Details
First PageDocument Content
Algebraic logic / Boolean algebra / Algebraic structures / Robbins algebra / Associative property / Heyting algebra / Relation algebra / Mathematics / Abstract algebra / Algebra
Date: 2012-03-29 12:58:36
Algebraic logic
Boolean algebra
Algebraic structures
Robbins algebra
Associative property
Heyting algebra
Relation algebra
Mathematics
Abstract algebra
Algebra

Add to Reading List

Source URL: math.colgate.edu

Download Document from Source Website

File Size: 113,69 KB

Share Document on Facebook

Similar Documents

Relational model / Data management / Computing / Data / Database theory / Mathematical notation / Tuple / Type theory / Relational database / Relational algebra / Relation / Bin

On Propagation of Deletions and Annotations Through Views Peter Buneman ∗

DocID: 1rq8e - View Document

Mathematics / Commutative algebra / Identifiers / Protein domain / Protein structure / Domain of a function / Variable and attribute / Finitary relation / Domain name

Microsoft Word - Borgatti & Halgin Mapping Culture.docx

DocID: 1rfun - View Document

Topology / Abstract algebra / Algebra / Algebraic topology / Homotopy theory / Surgery theory / Cobordism / Differential topology / Thom space / Adams spectral sequence / Characteristic class / Classifying space

The Relation of Cobordism to K-Theories PhD student seminar winter termNovember 7, 2006 In the current winter termwe want to learn something about the different flavours of cobordism theory - about its

DocID: 1r9ne - View Document

Algebra / Abstract algebra / Mathematics / Characteristic classes / Cohomology / StiefelWhitney class / Spectral sequence / Algebraic topology / Steenrod algebra / Grothendieck spectral sequence

A NEW RELATION ON THE STIEFEL-WHITNEY CLASSES OF SPIN MANIFOLDS BY W. STEPHEN WILSON 1. Introduction

DocID: 1r1ep - View Document

Mathematics / Algebra / Mathematical logic / Relational model / Models of computation / Logic in computer science / Database theory / Lambda calculus / Relational algebra / Tuple / Finitary relation / Combinatory logic

Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu

DocID: 1qZex - View Document