This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003.The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing.
| ISBN: | 9783540221456 |
| Publication date: | 1st June 2004 |
| Author: | International Seminar on Relational Methods in Computer Science, R Berghammer, Bernhard Möller, Georg Struth |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 277 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Number theory Maths for computer scientists Artificial intelligence Software Engineering Mathematical theory of computation |
This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003.The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing.
Relational and Kleene-Algebraic Methods in Computer Science features in the following genres: Number theory, Maths for computer scientists, Artificial intelligence, Software Engineering, Mathematical theory of computation
Relational and Kleene-Algebraic Methods in Computer Science is available in Paperback
Relational and Kleene-Algebraic Methods in Computer Science was written by International Seminar on Relational Methods in Computer Science, R Berghammer, Bernhard Möller, Georg Struth and published by Springer an imprint of Springer Berlin Heidelberg
Relational and Kleene-Algebraic Methods in Computer Science has 277 pages
Yes it is part of Lecture Notes in Computer Science series