On the Quantifier-Free Dynamic Complexity of Reachability (Q2849966): Difference between revisions

← Older edit

@@ Property / Recommended article @@
+On the quantifier-free dynamic complexity of reachability
+Normal rank
+Similarity Score: 1.0Amount 1.0
Unit 1
-Amount
+.0
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Dynamic Complexity of Directed Reachability and Other Problems
+Normal rank
+Similarity Score: 0.9079727Amount 0.9079727
Unit 1
-Amount
+.9079727
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Dynamic Complexity of the Dyck Reachability
+Normal rank
+Similarity Score: 0.903247Amount 0.903247
Unit 1
-Amount
+.903247
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+On the Complexity of L-reachability
@@ Property / Recommended article: On the Complexity of L-reachability / rank @@
+Normal rank
@@ Property / Recommended article: On the Complexity of L-reachability / qualifier @@
+Similarity Score: 0.895306Amount 0.895306
Unit 1
-Amount
+.895306
 Unit
@@ Property / Recommended article: On the Complexity of L-reachability / qualifier @@
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+On the Complexity of L-reachability*
@@ Property / Recommended article: On the Complexity of L-reachability* / rank @@
+Normal rank
+Similarity Score: 0.8953059Amount 0.8953059
Unit 1
-Amount
+.8953059
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Q3203003
@@ Property / Recommended article: Q3203003 / rank @@
+Normal rank
@@ Property / Recommended article: Q3203003 / qualifier @@
+Similarity Score: 0.8799035Amount 0.8799035
Unit 1
-Amount
+.8799035
 Unit
@@ Property / Recommended article: Q3203003 / qualifier @@
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Complexity of reachability problems for finite discrete dynamical systems
+Normal rank
+Similarity Score: 0.8734211Amount 0.8734211
Unit 1
-Amount
+.8734211
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+The Cost of Exactness in Quantitative Reachability
+Normal rank
+Similarity Score: 0.872136Amount 0.872136
Unit 1
-Amount
+.872136
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction
+Normal rank
+Similarity Score: 0.86999315Amount 0.86999315
Unit 1
-Amount
+.86999315
 Unit
+Recommender Run: Recommender Run 3