Back to Results
First PageMeta Content
Model theory / Database theory / Conjunctive query / Modal logic / Null / Structure / Kripke semantics / FO / Closed world assumption / Logic / Mathematics / Mathematical logic


When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin
Add to Reading List

Document Date: 2013-04-16 03:57:08

Open Document

File Size: 236,90 KB

Share Result on Facebook

City

New York / /

Company

Boolean FO / /

Country

United States / /

Currency

USD / /

/

Facility

Informatics University of Edinburgh LSV / Informatics University of Edinburgh School / /

IndustryTerm

logical tools / /

Movie

D. 4 / We shall see / /

Organization

In Section / Gheerbrant Leonid Libkin Cristina Sirangelo School / Informatics University of Edinburgh School / Informatics University of Edinburgh LSV / /

Person

Leonid Libkin Cristina / /

Position

General / /

ProgrammingLanguage

SQL / XML / /

ProvinceOrState

New York / /

Technology

DBMS / relational database / /

SocialTag