First Page | Document Content | |
---|---|---|
Date: 2009-11-10 10:56:36Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form | Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.ukAdd to Reading ListSource URL: www.bedewell.comDownload Document from Source WebsiteFile Size: 152,54 KBShare Document on Facebook |
workplace with digital tablet, notebook and coffee cupDocID: 1rpIg - View Document | |
Categorematic Unreducible Polyadic Quantifiers in Lexical Resource Semantics Frank Richter Goethe Universität Frankfurt a.M. HeadLex 2016, WarsawDocID: 1rjZ3 - View Document | |
A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby MartinDocID: 1rd10 - View Document | |
Integrating Categorematic Unreducible Polyadic Quantifiers in LRS Frank Richter∗ Introduction This paper has two goals: On the technical side, it presents a general integration of polyadic quantification in Lexical ResDocID: 1ratm - View Document | |
Model theory of finite and pseudofinite groups Dugald Macpherson∗, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK,DocID: 1qU5n - View Document |