Computer Science Logic: Proc./21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL. Lausanne, Switzerland, September 2007

Б2.1, Б2.2, В2.11.

Computer Science Logic: Proc./21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL. Lausanne, Switzerland, September 2007Ed. by Duparc J., Henzinger Th. A..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4646.-600 p.-(Lecture Notes in Computer Science).