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 /

Bibliographic Details
Corporate Authors:	International Seminar on Relational Methods in Computer Science Bad Malente, Germany, SpringerLink (Online service), International Workshop on Applications of Kleene Algebra
Other Authors:	Berghammer, R. (Rudolf), 1952-, Möller, Bernhard, 1953-, Struth, Georg
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; London : Springer, [2004]
Series:	Lecture notes in computer science ; 3051.
Subjects:	Relation algebras > Congresses. Algebraic logic > Congresses. Algèbres des relations > Congrès. Logique algébrique > Congrès. Algebraic logic. Relation algebras. Algèbre des relations. Logique algébrique. Kleene-Algebra. Relationenalgebra. Malente (2003) Relational algebra Kleene-algebraic methods Computer science RelMiCS Kleene algebra Relational methods Electronic books. Conference proceedings. Kongress.
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3051

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (277 pages) : illustrations
Bibliography:	Includes bibliographical references and index.
ISBN:	354022145X 9783540221456
ISSN:	0302-9743 ;