Computer Science Logic: Proc./19th International Workshop, CSL; 14th Annual Conference of the EACSL. Oxford, UK, August 2005

Б2.1, Б2.2, Б2.3, В2.11.

Computer Science Logic: Proc./19th International Workshop, CSL; 14th Annual Conference of the EACSL. Oxford, UK, August 2005Ed. by Ong L..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3634.-567 p.-(Lecture Notes in Computer Science).