Computer Science Logic: Proc./18th International Workshop, CSL 2004; 13th Annual Conference of the EACSL. Karpacz, Poland, September 2004

Б2.1, Б2.2.

Computer Science Logic: Proc./18th International Workshop, CSL 2004; 13th Annual Conference of the EACSL. Karpacz, Poland, September 2004Ed. by Marcinkowski J., Tarlecki A..-Berlin, Heidelberg.: Springer, 2004.-Vol. 3210.-520 p.-(Lecture Notes in Computer Science).