Back to Results
First PageMeta Content
Model theory / Constructible universe / Lambda calculus / First-order logic / FO / Interpretation / Curry–Howard correspondence / Boolean-valued model / Mathematical logic / Logic / Mathematics


Dov M. Gabbay Andrzej SzaÃlas Second-Order Quantifier Elimination in Higher-Order Contexts with Applications
Add to Reading List

Document Date: 2012-02-03 09:26:40

Open Document

File Size: 191,15 KB

Share Result on Facebook

City

New York / /

Currency

cent / /

IndustryTerm

show applications / /

Person

Dov M. Gabbay Andrzej / Wojciech Buszkowski / /

Position

president / first author / speaker / /

ProvinceOrState

Georgia / /

Technology

Scan algorithm / /

SocialTag