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

Bibliographische Detailangaben

Körperschaften:	International Seminar on Relational Methods in Computer Science (BerichterstatterIn), International Workshop on Applications of Kleene Algebra (BerichterstatterIn)
Weitere Verfasser:	Berghammer, Rudolf (HerausgeberIn), Möller, Bernhard (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2004
Schriftenreihe:	Lecture notes in computer science 3051
Schlagworte:	Algebraic logic > Relation algebras > Konferenzschrift > Algebraische Methode > Relationenalgebra > Boolesche Algebra
Online Zugang:	Cover Inhaltstext Publisher description Full Text
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!