Relation Algebras, Matrices, and Multi-valued Decision Diagrams (Q2915148): Difference between revisions

@@ Property / describes a project that uses @@
+CUDD
@@ Property / describes a project that uses: CUDD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RelView
@@ Property / describes a project that uses: RelView / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-33314-9_17
+Normal rank
@@ Property / OpenAlex ID @@
+W54721420
@@ Property / OpenAlex ID: W54721420 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation Algebras, Matrices, and Multi-valued Decision Diagrams
+Normal rank
@@ Property / cites work @@
+Computer Algebra in Scientific Computing
@@ Property / cites work: Computer Algebra in Scientific Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Applying relation algebra and RelView to solve problems on orders and lattices
+Normal rank
@@ Property / cites work @@
+Embedding mappings and splittings with applications
+Normal rank
@@ Property / cites work @@
+Applying relation algebra and RelView to measures in a social network
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q5810602
@@ Property / cites work: Q5810602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of modal logics with relative accessibility relations
+Normal rank
@@ Property / cites work @@
+Q4041054
@@ Property / cites work: Q4041054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362876
@@ Property / cites work: Q4362876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940004
@@ Property / cites work: Q4940004 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Relational Products
@@ Property / cites work: Weak Relational Products / rank @@
+Normal rank
@@ Property / cites work @@
+Goguen categories. A categorical approach to \(L\)-fuzzy relations
+Normal rank
@@ Property / cites work @@
+Relation algebraic domain constructions
@@ Property / cites work: Relation algebraic domain constructions / rank @@
+Normal rank