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

Corporate Authors: International Seminar on Relational Methods in Computer Science (7th 2003 Bad Malente, Germany); International Workshop on Applications of Kleene Algebra 2003 Bad Malente, Germany) (Bad Malente, Germany))
Group Author: (Rudolf) 1952-; M··oller Bernhard, 1953-; Struth Georg.; Berghammer R.
Published: Springer,
Publication Dates: c2004.
Call Number: TP301.6-532/I617/2003