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: edited by Wendy MacCaull, Michael Winter, Ivo Düntsch
Contributors: Winter, Michael; Düntsch, Ivo
Series: Lecture Notes in Computer Science -- 3929; Lecture notes in computer science -- 3929.
Publisher: Springer Berlin Heidelberg
Published: 2006
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 263
ISBN-13: 9783540333401
Subjects: Mathematical Logic and Formal Languages; Computational complexity; Software engineering; Software Engineering; Algebra; Symbolic and Algebraic Manipulation; Computer Science; Logic design; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Data processing; Discrete Mathematics in Computer Science; Artificial intelligence; Computer science