Computing and visualizing Banks sets of dominance relations using relation algebra and RelView (Q383785): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B14
@@ Property / Mathematics Subject Classification ID: 91B14 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C20
@@ Property / Mathematics Subject Classification ID: 05C20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W30
@@ Property / Mathematics Subject Classification ID: 68W30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6236056
@@ Property / zbMATH DE Number: 6236056 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+relation algebra
@@ Property / zbMATH Keywords: relation algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+relation-algebraic specification
@@ Property / zbMATH Keywords: relation-algebraic specification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+RelView tool
@@ Property / zbMATH Keywords: RelView tool / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+social choice theory
@@ Property / zbMATH Keywords: social choice theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dominance relation
@@ Property / zbMATH Keywords: dominance relation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Banks set
@@ Property / zbMATH Keywords: Banks set / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+binary decision diagram
@@ Property / zbMATH Keywords: binary decision diagram / rank @@
+Normal rank

Revision as of 13:22, 29 June 2023