A saturation method for the modal \(\mu \)-calculus over pushdown systems (Q532393): Difference between revisions

@@ Property / author @@
+Sumit K. Garg
@@ Property / author: Sumit K. Garg / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B40
@@ Property / Mathematics Subject Classification ID: 03B40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5883958
@@ Property / zbMATH DE Number: 5883958 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal \(\mu \)-calculus
@@ Property / zbMATH Keywords: modal \(\mu \)-calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pushdown systems
@@ Property / zbMATH Keywords: pushdown systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parity games
@@ Property / zbMATH Keywords: parity games / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+winning regions
@@ Property / zbMATH Keywords: winning regions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+global model checking
@@ Property / zbMATH Keywords: global model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+saturation methods
@@ Property / zbMATH Keywords: saturation methods / rank @@
+Normal rank

Revision as of 08:09, 1 July 2023