Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers

Ivo D untsch; Wendy MacCaull; Michael Winter; International Seminar on Relational Methods in Computer Science (8 : 2005.02 : St. Catharines); International Workshop on Applications of Kleene Algebra (3 : 2005.02 : St. Catharines); Workshop of COST Action 274 TARSKI (2005.02.22-26 : St. Catharines)

Berlin u.a. Springer 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3929 ) e outros locais(Acessar)