Relational and Kleene-Algebraic Methods in Computer Science: Rev.Sel.Papers/ 7th Intern.Seminar on Relational Methods in CS and 2nd Inter.Workhop on Applications of Kleene Algebra.Bad Malente,Germany,May 2003

Б2.1, Б2.2, Б4.12.

Relational and Kleene-Algebraic Methods in Computer Science: Rev.Sel.Papers/ 7th Intern.Seminar on Relational Methods in CS and 2nd Inter.Workhop on Applications of Kleene Algebra.Bad Malente,Germany,May 2003Ed. by Berghammer R., Moeller B., Struth G..-Berlin, Heidelberg.: Springer, 2004.-Vol. 3051.-279 p.-(Lecture Notes in Computer Science).