Relation Algebras, Matrices, and Multi-valued Decision Diagrams
From MaRDI portal
Publication:2915148
DOI10.1007/978-3-642-33314-9_17zbMath1364.68147OpenAlexW54721420MaRDI 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
Algebraic systems of matrices (15A30) Data structures (68P05) Relational systems, laws of composition (08A02) Categories of spans/cospans, relations, or partial maps (18B10)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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