On the model-checking of monadic second-order formulas with edge set quantifications (Q415286): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+C69
@@ Property / Mathematics Subject Classification ID: 05C69 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 03B15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C70
@@ Property / Mathematics Subject Classification ID: 05C70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C12
@@ Property / Mathematics Subject Classification ID: 05C12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6033767
@@ Property / zbMATH DE Number: 6033767 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tree-width
@@ Property / zbMATH Keywords: tree-width / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+clique-width
@@ Property / zbMATH Keywords: clique-width / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+monadic second-order logic
@@ Property / zbMATH Keywords: monadic second-order logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+graph decomposition
@@ Property / zbMATH Keywords: graph decomposition / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model-checking
@@ Property / zbMATH Keywords: model-checking / rank @@
+Normal rank

Revision as of 19:29, 29 June 2023