Relational and Kleene-Algebraic Methods in Computer Science
Berghammer R. (Ed), Struth G. (Ed), Miller B.
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.
카테고리:
년:
2004
언어:
english
페이지:
290
ISBN 10:
3540247718
ISBN 13:
9783540247715
파일:
PDF, 7.53 MB
IPFS:
,
english, 2004
이 도서의 다운로드는 권리 소유자의 요구에 따라 불가합니다