<--- 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

Introduction to Vertex Algebras Mike Welby 6th November, 2015  Mike Welby

Introduction to Vertex Algebras Mike Welby 6th November, 2015 Mike Welby

DocID: 1mXCt - View Document

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

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

DocID: 18mb4 - View Document

NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET Algebraic Structures on Ordered Rooted Trees and Their Significance to Lie Group Integrators by

NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET Algebraic Structures on Ordered Rooted Trees and Their Significance to Lie Group Integrators by

DocID: 13xjC - View Document

ON QUANTUM GROUP GLp,q (2)  arXiv:q-algJan 1997 Tanya Khovanova January 28, 1997

ON QUANTUM GROUP GLp,q (2) arXiv:q-algJan 1997 Tanya Khovanova January 28, 1997

DocID: 13w3b - View Document

QUANTUM GROUPS AND REPRESENTATIONS WITH HIGHEST WEIGHT Joseph Bernstein and Tanya Khovanova  arXiv:q-algApr 1997

QUANTUM GROUPS AND REPRESENTATIONS WITH HIGHEST WEIGHT Joseph Bernstein and Tanya Khovanova arXiv:q-algApr 1997

DocID: 13qDm - View Document