Blundo - oretical Computer Science 8th Italian Conference ICTCS 200 - X555z

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International C

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science.

Theoretical Computer Science 9th Italian Conference ICTCS 2005 Si

Theoretical Computer Science: 6th Ifip Wg 2.2 International Conference, Tcs 2010

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Scien

Theoretical Computer Science : 6th Ifip Wg 2.2 International Conference Tcs 2...