Relation Algebras, Matrices, and Multi-valued Decision Diagrams
From MaRDI portal
Publication:2915148
DOI10.1007/978-3-642-33314-9_17zbMath1364.68147MaRDI QIDQ2915148
Michael Winter, Francis Atampore
Publication date: 21 September 2012
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33314-9_17
15A30: Algebraic systems of matrices
68P05: Data structures
08A02: Relational systems, laws of composition
18B10: Categories of spans/cospans, relations, or partial maps
Related Items
Uses Software
Cites Work
- Applying relation algebra and RelView to solve problems on orders and lattices
- Embedding mappings and splittings with applications
- Applying relation algebra and RelView to measures in a social network
- Relation algebraic domain constructions
- Goguen categories. A categorical approach to \(L\)-fuzzy relations
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams
- Graph-Based Algorithms for Boolean Function Manipulation
- A hierarchy of modal logics with relative accessibility relations
- Weak Relational Products
- Computer Algebra in Scientific Computing
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item