Relational methods in computer science
Subtitle: 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
By: Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.).
Contributors: MacCaull, Wendy.; Winter, Michael, Ph. D.; Düntsch, Ivo.; European Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project). Workshop; International Workshop on Applications of Kleene Algebra (3rd : 2005 : St. Catharines, Ont.)
Series: Lecture notes in computer science -- 3929
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 262
ISBN-13: 9783540333395
Subjects: Computer science -- Congresses; Relationism -- Congresses; Algebra -- Computer programs -- Congresses; Relation algebras -- Congresses
Genres: Congresses.