01531nam--2200373---450-99000300701020331620071107132429.03-540-33339-8000300701USA01000300701(ALEPH)000300701USA0100030070120071107d2006----km-y0itaa50------baengDERelational methods in computer science8th International seminar on relational methods in computer science3rd international workshop on applications of Kleene Algebra and workshop of COST Action 274 TARSKISt. Catharines, ON, Canada, February 22-26,2005Selected revised papersWendy MacCaull, Michael Winter, Ivo Düntsch (Eds.)BerlinSpringer-Verlagcopyr. 2006VIII,262 p.ill.24 cmLecture Notes in Computer Scienze3929Elaborazione elettronica dei dati Congressi 2005Elaboratori elettronici digitali Programmazione Congressi 2005004.21MACCAULL,WendyWINTER,MichaelDÜNTSCHIvoInternational seminar on relational methods in computer science<8th;2005;St. Catharines>599158990003007010203316001 LNCS (3929)33509 CBS00100215120BKSCIANGELA9020071107USA011324ANGELA9020071107USA011324Relational methods in computer science1024352UNISA