[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Kleene Algebra with Relations
Berghammer, Rudolf, Möller, Bernhard, Struth, GeorgVolume:
10.1007/b9
Year:
2004
Language:
english
DOI:
10.1007/978-3-540-24771-5_2
File:
PDF, 245 KB
english, 2004