<--- Back to Details
First PageDocument Content
Mathematical structures / Algebraic structures / Algebras / Algebra over a field / Structure / Term algebra / Boolean algebra / Universal enveloping algebra / Clifford algebra / Abstract algebra / Algebra / Mathematics
Date: 2001-11-18 00:50:05
Mathematical structures
Algebraic structures
Algebras
Algebra over a field
Structure
Term algebra
Boolean algebra
Universal enveloping algebra
Clifford algebra
Abstract algebra
Algebra
Mathematics

A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms Joseph Goguen Dept. Computer Science & Engineering University of California, San Diego

Add to Reading List

Source URL: cseweb.ucsd.edu

Download Document from Source Website

File Size: 395,70 KB

Share Document on Facebook

Similar Documents

CUBE-TERMS, FINITELY RELATED ALGEBRAS, AND CSP Abstract. We prove that a finite idempotent algebra is inherently finitely related if and only if it has a cube-term, find the maximal idempotent clones that do not contain

CUBE-TERMS, FINITELY RELATED ALGEBRAS, AND CSP Abstract. We prove that a finite idempotent algebra is inherently finitely related if and only if it has a cube-term, find the maximal idempotent clones that do not contain

DocID: 1rsu4 - View Document

C ∗ -ALGEBRAS AND K-THEORY GRADUATE STUDENT SEMINAR SUMMER TERM 2013 MARKUS LAND  This semester we want to study the basic theory of C ∗ -algebras and their topological

C ∗ -ALGEBRAS AND K-THEORY GRADUATE STUDENT SEMINAR SUMMER TERM 2013 MARKUS LAND This semester we want to study the basic theory of C ∗ -algebras and their topological

DocID: 1rca9 - View Document

´ Etale cohomology Prof. Dr. Uwe Jannsen Summer Term 2015

´ Etale cohomology Prof. Dr. Uwe Jannsen Summer Term 2015

DocID: 1r9r6 - View Document

Perverse sheaves and the Weil conjectures Prof. Dr. Uwe Jannsen Summer Term 16 Inhaltsverzeichnis 1 Triangulated categories

Perverse sheaves and the Weil conjectures Prof. Dr. Uwe Jannsen Summer Term 16 Inhaltsverzeichnis 1 Triangulated categories

DocID: 1r6MW - View Document

Exact Corotational Linear FEM Stiffness Matrix Jernej Barbiˇc Technical Report, University of Southern California, 2012 9 × 12 matrices. In Equation 3, we need the term ∂ R/∂ x` , which is the `-th column of ∂ R/

Exact Corotational Linear FEM Stiffness Matrix Jernej Barbiˇc Technical Report, University of Southern California, 2012 9 × 12 matrices. In Equation 3, we need the term ∂ R/∂ x` , which is the `-th column of ∂ R/

DocID: 1qYNW - View Document