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 /

Saved in:
Bibliographic Details
Meeting name:International Seminar on Relational Methods in Computer Science (7th : 2003 : Bad Malente, Germany)
Imprint:Berlin ; Hong Kong : Springer, ©2004.
Description:1 online resource (277 pages) : illustrations.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 3051
Lecture notes in computer science ; 3051.
Subject:
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11065521
Hidden Bibliographic Details
Other authors / contributors:Berghammer, R. (Rudolf), 1952-
Möller, Bernhard, 1953-
Struth, Georg.
International Workshop on Applications of Kleene Algebra (2nd : 2003 : Bad Malente, Germany)
ISBN:3540247718
9783540247715
354022145X
9783540221456
Notes:Includes bibliographical references and index.
Screen of 2005-04-15; title from caption.
Summary: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.
Other form:Print version: International Seminar on Relational Methods in Computer Science (7th : 2003 : Bad Malente, Germany). Relational and Kleene-algebraic methods in computer science. Berlin ; London : Springer, ©2004 354022145X
Publisher's no.:11011163