Back to Results
First PageMeta Content
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

Document Date: 2001-11-18 00:50:05


Open Document

File Size: 395,70 KB

Share Result on Facebook

Company

A (a1 ; /

Country

Japan / /

Facility

Computer Science University of Liverpool Tom Kemp Oxford Abstract / Oxford University / Engineering University of California / University of Chicago / /

IndustryTerm

mobile computing / machinery / software library / exible manufacturing / actual travel package / /

Organization

Information Technology Promotion Agency / European Union / the University of Chicago / Oxford University / National Science Foundation / University of Liverpool / UK Science and Engineering Research Council / University of California / San Diego / /

Person

Nat / Joseph Goguen / Az / Grant Malcolm / Frances Page / /

Product

Xtreme FS1 Headphone/Headset / M-16 / /

ProvinceOrState

California / /

RadioStation

CORE / /

Technology

mobile computing / functional programming / operating system / Information Technology / /

URL

http /

SocialTag