Books Forever

Says Who? -- Incorporating Source Credibility Issues into . . .
Frances L. Johnson
Stuart C. Shapiro

Proof Complexity In Algebraic Systems And Bounded Depth Frege Systems With Modular Counting
S. Buss
R. Impagliazzo
J. Krajícek
P. Pudlák
A. A. Razborov
J. Sgall

NetPDL: An Extensible XML-Based Language for Packet Header Description
Fulvio Risso
Mario Baldi

Extremal Problems for Colored Trees and Davenport-Schinzel Sequences
Martin Klazar

Automatic Image Captioning
Jia-Yu Pan
Hyung-Jeong Yang
Pinar Duygulu
Christos Faloutsos

The Guarded Fragment: Ins and Outs
Carlos Areces
Christof Monz
Hans de Nivelle
Maarten de Rijke