ENGLISH

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

By Raymond Bisdorff , Marc Roubens (auth.) , Rudolf Berghammer , Bernhard Möller , Georg Struth (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
ISBN
354022145X, 9783540221456, 9783540247715
DOI
10.1007/b98117
LCC
QA10 .I58 2003
Open Library ID
OL3314678M
Language
english
Format
PDF
Filesize
6 MB (6079662 bytes)
Series
Lecture Notes in Computer Science 3051
Edition
1
Pages
286\293
Time added
2009-08-06 05:14:26
Mathematical Logic and Formal Languages; Software

Description

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.

Similar books