Back to Results
First PageMeta Content
Algebraic structures / Semiring / Kleene algebra / Complete Boolean algebra / Boolean algebra / Von Neumann algebra / Sigma-algebra / Idempotence / Functor / Mathematics / Abstract algebra / Algebra


Document Date: 2007-04-24 02:27:28

Open Document

File Size: 147,12 KB

Share Result on Facebook

City

New York / /

Company

functor SA / /

Country

United States / /

IndustryTerm

efficient algorithm / efficient algorithms / /

Organization

National Science Foundation / Kleene Algebras and Closed Semirings∗ Dexter Kozen† Department of Computer Science Cornell University Ithaca / /

Person

Dexter Kozen / Conway / /

Position

author / /

ProvinceOrState

New York / /

Technology

deriving efficient algorithms / efficient algorithm / /

SocialTag