1. Applicable algebra and artificial intelligence

   • Julio Rubio
   • Werner Seiler

   EditorialNotes 16 October 2009 Pages: 241 - 243

2. Flyspeck II: the basic linear programs

   • Steven Obua
   • Tobias Nipkow

   OriginalPaper 07 November 2009 Pages: 245 - 272

3. Invariants for the FoCaL language

   • Renaud Rioboo

   OriginalPaper 29 July 2009 Pages: 273 - 296

4. A Groebner bases-based approach to backward reasoning in rule based expert systems

   • Eugenio Roanes-Lozano
   • Antonio Hernando
   • Eugenio Roanes-Macías

   OriginalPaper 01 July 2009 Pages: 297 - 311

5. Short PCPPs verifiable in polylogarithmic time with O(1) queries

   • Thilo Mie

   OriginalPaper 21 January 2010 Pages: 313 - 338

6. Spectral schemes as ringed lattices

   • Thierry Coquand
   • Henri Lombardi
   • Peter Schuster

   OriginalPaper 29 September 2009 Pages: 339 - 360

7. Congruence relations on some hyperstructures

   • Inma P. Cabrera
   • Pablo Cordero
   • Manuel Ojeda-Aciego

   OriginalPaper 03 July 2009 Pages: 361 - 370

8. On the Vapnik-Chervonenkis dimension of computer programs which use transcendental elementary operations

   • José L. Montaña
   • Luis M. Pardo

   OriginalPaper 02 July 2009 Pages: 371 - 388