A Game Theoretic Approach to the Analysis of Dynamic Networks (Q2864354): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.02.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2009726592
@@ Property / OpenAlex ID: W2009726592 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449248
@@ Property / cites work: Q4449248 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
+Normal rank
@@ Property / cites work @@
+GETGRATS
@@ Property / cites work: GETGRATS / rank @@
+Normal rank
@@ Property / cites work @@
+A Reduction from DLP to PDL
@@ Property / cites work: A Reduction from DLP to PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502817
@@ Property / cites work: Q4502817 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Reasoning About Dynamic Policies
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+The dynamic complexity of transitive closure is in DynTC\(^{0}\).
+Normal rank
@@ Property / cites work @@
+Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity
+Normal rank
@@ Property / cites work @@
+A fully dynamic algorithm for maintaining the transitive closure
+Normal rank
@@ Property / cites work @@
+Q4531753
@@ Property / cites work: Q4531753 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank