Relational and Kleene-algebraic methods in computer science [electronic resource] : 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 / Rudof Berghammer, Bernhard Möller, Georg Struth (eds.).
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 care...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Authors: | , |
| Other Authors: | , , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; Hong Kong :
Springer,
©2004.
|
| Series: | Lecture notes in computer science ;
3051. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA10
|
|---|---|
| QA10 | Available |