Date: 2014-11-10 14:14:40Model 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? Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo To cite this version: Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo. When is Na¨ıve Evaluation Possible?. PODS - 32nAdd to Reading ListSource URL: www.liafa.univ-paris-diderot.frDownload Document from Source Website File Size: 426,68 KBShare Document on Facebook
|