On temporal logics with data variable quantifications: decidability and complexity (Q342712): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6654482
@@ Property / zbMATH DE Number: 6654482 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal logics
@@ Property / zbMATH Keywords: temporal logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+data variable quantifications
@@ Property / zbMATH Keywords: data variable quantifications / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decidability and complexity
@@ Property / zbMATH Keywords: decidability and complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+alternating register automata
@@ Property / zbMATH Keywords: alternating register automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+data automata
@@ Property / zbMATH Keywords: data automata / rank @@
+Normal rank

Revision as of 06:33, 28 June 2023