• Pas de catégorie
  • Sam Buss, Bounded Arithmetic, Local Search, and Local Improvement.
  • Joël Combase, Sedki Boughattas, and Jean-Pierre Ressayre, A Silver Like Perfect Set Theorem With an Application to Borel Model Theory.
  • A. Cordon-Franco, A. Fernandez-Margarit, and F.F. Lara-Martin, On the Optimality of a Conservation Theorem of L.D. Beklemishev.
  • A. Cordon-Franco, A. Fernandez-Margarit, and F.F. Lara-Martin, Conservation Results for Finite Sets of Conditional Sentences.
  • Bruno Courcelle, Undecidable Extensions of Monadic Second Order Logic over Words Using Cardinality Set Predicates Relative to Recursive Sets.
  • Costas Dimitracopoulos, On a Problem of J. Paris ( continued )
  • Daniel Leivant, The Comprehension Cube.