<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-04-16 03:57:08Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic |
|
| First Page | Document Content | |
|---|---|---|
Date: 2013-04-16 03:57:08Model 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