Foundations of Software Science and Computation Structures: Proc./First Intern. Conf., FoSSaCS 98, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 98. Lisbon, Portugal, March-April 1998

Б2.2, Б2.31, Б2.11.

Foundations of Software Science and Computation Structures: Proc./First Intern. Conf., FoSSaCS 98, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 98. Lisbon, Portugal, March-April 1998Ed. by Nivat M..-Berlin, Heidelberg.: Springer, 1998.-Vol. 1378.-289 p.-(Lecture Notes in Computer Science).