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
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/35959 |
---|---|
ISBN: | 978-3-540-22145-6OPAC |
ISSN: | 0302-9743OPAC |
Publisher: | Springer |
Place of publication: | Berlin u.a. |
Editor: | Rudolf Berghammer, Bernhard MöllerGND, Georg StruthGND |
Type: | Book |
Language: | English |
Year of first Publication: | 2004 |
Release Date: | 2017/07/21 |
Pagenumber: | X, 277 S. |
Series: | Lecture Notes in Computer Science ; 3051 |
DOI: | https://doi.org/10.1007/b98117 |
Institutes: | Fakultät für Angewandte Informatik |
Fakultät für Angewandte Informatik / Institut für Informatik | |
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme |