Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings / edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller.
By: Berghammer, Rudolf.
Contributor(s): Jaoua, Ali Mohamed | Möller, Bernhard | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5827.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642046391.Subject(s): Computer science | Logic design | Computational complexity | Algebra -- Data processing | Algebra | Computer Science | Mathematical Logic and Formal Languages | Symbolic and Algebraic Manipulation | Discrete Mathematics in Computer Science | Logics and Meanings of Programs | Algebra | Order, Lattices, Ordered Algebraic StructuresDDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.