skip to content


This page lists the preprints associated with this programme only.
A full list is also available, with details of how to submit relevant papers.

Search preprint archive
Authors Title Attachments
JF Lynch A logical characterization of individual-based models ni08031.pdf
K Kulesza Machines, computations and time; when P can be equal NP ni07010.pdf
A Dawar; M Grohe; S Kreutzer; et al Model theory makes formulas large ni07003.pdf
A Atserias; A Bulatov; A Dawar Affine systems of equations and counting infinitary logic ni07002.pdf
A Dawar; M Grohe; S Kreutzer Locally excluding a minor ni07001.pdf
R Alur Marrying words and trees ni06055.pdf
S Dantchev; B Martin; S Szeider Parameterized proof complexity: A complexity gap for parameterized tree-like resolution ni06054.pdf
P Hell; J Nesetril On the density of Trigraph Homomorphisms ni06052.pdf
S Cook; J Krajicek Consequences of the Provability of $NP \subseteq P/poly$ ni06040.pdf
S Lindell A normal form for first-order logic over doubly-linked data structures ni06037.pdf
W Harwood; F Moller; A Setzer Weak bisimulation approximants ni06028.pdf
N Alechina; D Shkatov Logics with an existential modality ni06025.pdf
G Kun; J Nesetril Forbidden lifts (NP and CSP for combinatorists) ni06024.pdf
F Boerner; A Bulatov; H Chen; et al The complexity of constraint satisfaction games and QCSP ni06023.pdf
J Krajicek; A Skelley; N Thapen NP search problems in low fragments of bounded arithmetic ni06022.pdf
D Andersson; S Vorobyov Fast algorithms for monotonic discounted linear programs with two variables per inequality ni06019.pdf
V Dalmau; A Krokhin Majority constraints have bounded pathwidth duality ni06017.pdf
W Hodges Logics of imperfect information: why sets of assignments? ni06015.pdf
J Krajicek Substitutions into propositional tautologies ni06012.pdf
K Kulesza On inverting the VMPC one-way function ni06009.pdf
University of Cambridge Research Councils UK
    Clay Mathematics Institute The Leverhulme Trust London Mathematical Society Microsoft Research NM Rothschild and Sons