First Page | Document Content | |
---|---|---|
Date: 2009-06-14 11:31:33Finite model theory Computational complexity theory Model theory FO Structure Datalog Transitive closure Database theory Descriptive complexity theory Mathematics Theoretical computer science Mathematical logic | Add to Reading ListSource URL: homepages.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 257,11 KBShare Document on Facebook |