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

Saved in:
Bibliographic Details
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,
Publisher Address: Berlin London
Publication Dates: c2004.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3051
Subjects:
Carrier Form: 277 p.: ill. ; 24 cm.
Publication Frequency: Also issued online.
ISBN: 354022145X
Index Number: TP301
CLC: TP301.6-532
Call Number: TP301.6-532/I617/2003
Contents: Includes bibliographical references and index.