Back to Results
First PageMeta Content
Finite model theory / Vector space / XTR / Constructible universe / Proofs involving the Moore–Penrose pseudoinverse / Forcing / Algebra / Mathematics / FO


The Expressivity of Quantifying over Regions Ernest Davis∗ Dept. of Computer Science New York University October 24, 2011
Add to Reading List

Document Date: 2011-10-24 22:03:55

Open Document

File Size: 241,20 KB

Share Result on Facebook

Company

Let SA / Structures SA / Coors / /

/

IndustryTerm

coordinate systems / simpler solution / /

Organization

National Science Foundation / New York University / /

Person

Martin Davis / /

Position

hB / /

ProvinceOrState

Louisiana / /

SocialTag