Catalog

Record Details

Catalog Search


Search Results Showing Item 2 of 2

Relations and Kleene Algebra in Computer Science 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

Electronic resources

Record details

  • ISBN: 9783642046391
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: 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 Structures
Search Results Showing Item 2 of 2

Additional Resources