This archive has been created by EasyChair, see
http://www.easychair.org. It contains all files structured according
to the Springer LNCS requirements. The directories are named
VVVVPPPP, where VVVV is the volume number and PPPP is the first page
number of each paper. In each directory there is a file VVVVPPPP.pdf
which contains a PDF file as submitted by the authors. The main file
(LaTeX or RTF) in each directory is named as follows:

1: jacobs.tex
21: main.tex
33: liveness.tex
54: IFIP-TCS.tex
56: main.tex
71: pats-cameraready.tex
86: PBC_TCS2010.tex
101: tcs10.tex
111: recurrent.tex
126: tcs2010-main.tex
141: TCS2010B.tex
155: dicmatxml.tex
167: TCS-2010-final.tex
183: main.tex
198: subobject-logic.tex
214: paper3.tex
229: main.tex
244: main.tex
259: strongrandom.tex
271: schwarz_stai.tex
286: matching.tex
301: Infinitely_often_traceability.tex
316: BDJOT_TCS2010_print.tex
328: draft3.tex
340: BCG-IFIPTCS10.tex
355: dynchan.tex
370: wcc-tcs-b-21.tex

All queries about EasyChair should be sent to Andrei Voronkov at
andrei@voronkov.com.