|
|
Preprint Server
The preprint server is primarily intended as a way of
publicising and disseminating the work of researchers in the
MALOA teams and it is hoped that all MALOA members will
regularly post their preprints here.
To submit a preprint, please email Emma Jones your document
preferably in pdf format.
Please ensure that on any work, MALOA and EU funding is
acknowledged with the following text:- The research
leading to these results has received funding from the
[European Community's] Seventh Framework Programme
[FP7/2007-2013] under grant agreement n° 238381.
PrePrint index
- PrePrint 01.
Artem Chernikov, Pierre Simon. Externally definable sets
and dependent pairs
- PrePrint 02.
Sebastian Muller. Iddo Tzameret. Average-Case Separation
in Proof Complexity:Short Propositional Refutations for
Random 3CNF Formulas
- PrePrint 03.
Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg,
and Monika Seisenberger.Minlog - A Tool for Program
Extraction Supporting Algebras and Coalgebras.
- PrePrint 04.
Thanos Tsouanas - Game semantics of disjunctive logic
programming.
- PrePrint 05.
Olaf Beyersdorff, Arne Meier, Sebastian Muller, Michael
Thomas, and Heribert Vollmer - Proof Complexity of
Propositional Default Logic.
- PrePrint 06.
Olaf Beyersdorff and Sebastian Muller - Different
Approaches to Proof Systems.
- PrePrint 07.
Artem Chernikov and Pierre Simon - Externally definable
sets and dependent pairs II.
- PrePrint 08.
Sebastian Mueller - Polylogarithmic cuts in models of
V^0.
- PrePrint 09.
Artem Chernikov - Theories without the tree property of
the second kind.
- PrePrint 10.
Artem Chernikov, Itay Kaplan and Saharon Shelah -
Non-forking spectra.
|
