|
中图分类法:
|
TP301.6 版次： |
|
题名:
|
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 /] / , |
|
出版发行:
|
出版地： Berlin ; 出版社： Springer, 出版日期： c2004. |
|
载体形态:
|
x, 277 p. : ill. ; 24 cm. |
|
主题词:
|
Relation algebras |
|
主题词:
|
Algebraic logic |
|
主要责任者:
|
Berghammer, R. |
|
主要责任者:
|
Moller, Bernhard, |
|
主要责任者:
|
Struth, Georg. |
|
次要责任者:
|
International Workshop on Applications of Kleene Algebra |