Tallenna
Relational Methods in Computer Science
This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274. The 17 revised full papers presented together with 3 invited papers address foundational and methodological aspects of the calculi of relations and Kleene algebra, and their application in various areas of computer science and information processing.
- Alaotsikko
- 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
- Toimittaja
- Wendy MacCaull, Michael Winter, Ivo Düntsch
- Painos
- 2006 ed.
- ISBN
- 9783540333395
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 18.4.2006
- Sivumäärä
- 262
