Volume 56, Number 1, May 2009
Special Issue on Artificial Intelligence and Symbolic Computation
: A full first-order constraint solver for decomposable theories.
: Constructing infinite models represented by tree automata.
Volume 56, Number 2, June 2009
BISFAI 2007 / Guest Edited by Gal A. Kaminka and Sarit Kraus
Volume 56, Numbers 3-4, August 2009
: Short PCPPs verifiable in polylogarithmic time with O(1) queries.
José L. Montaña
, Luis M. Pardo
: On the Vapnik-Chervonenkis dimension of computer programs which use transcendental elementary operations.