Back to Results
First PageMeta Content
Algebraic geometry / Theoretical physics / Mathematical analysis / Deduction / Natural deduction / Proof theory / Orbifold / Differential geometry / Geometry / Differential topology


MFPSGlobal State Considered Helpful Paul Blain Levy 1
Add to Reading List

Document Date: 2008-06-30 15:25:55

Open Document

File Size: 227,51 KB

Share Result on Facebook

City

Birmingham / /

Company

Renamings We / /

/

Facility

C. An arena / University of Birmingham / /

IndustryTerm

finite products / elegant solution / interpreted using the finite products / /

Organization

University of Birmingham / /

Person

Ai / /

Position

rt / Prime Minister / ptb∈rt / /

Product

Modelling Injections / A. An injection / /

ProgrammingLanguage

ML / /

URL

www.elsevier.nl/locate/entcs / /

SocialTag