Computer Science Logic: Proc./13th Intern. Workshop, CSL 99, 8th Annual Conf. of the EACSL. Madrid, Spain, September 1999

Б2.13, Б2.14, В2.1.

Computer Science Logic: Proc./13th Intern. Workshop, CSL 99, 8th Annual Conf. of the EACSL. Madrid, Spain, September 1999Ed. by Flum J., Rodriguez-Artalejo M..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1683.-580 p.-(Lecture Notes in Computer Science).