Relational Methods in Computer Science: Selected Revised Papers/8th Intl Seminar RMCS; 3rd Intl WS AKA & WS of COST Action 274: TARSKI. St.Catharines, ON, Canada, Feb 2005

Б2.1, Б2.2, Б2.32.

Relational Methods in Computer Science: Selected Revised Papers/8th Intl Seminar RMCS; 3rd Intl WS AKA & WS of COST Action 274: TARSKI. St.Catharines, ON, Canada, Feb 2005Ed. by Maccaull W., Winter M., Duentsch I..-Berlin, Heidelberg.: Springer, 2006.-Vol. 3929.-263 p.-(Lecture Notes in Computer Science).