Games for active XML revisited (Q2402614): Difference between revisions

@@ Property / OpenAlex ID @@
+W2963721710
@@ Property / OpenAlex ID: W2963721710 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5910
@@ Property / arXiv ID: 1412.5910 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
+Normal rank
@@ Property / cites work @@
+Deterministic regular languages
@@ Property / cites work: Deterministic regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Domino-tiling games
@@ Property / cites work: Domino-tiling games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128417
@@ Property / cites work: Q4128417 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Complete problems for deterministic polynomial time
+Normal rank
@@ Property / cites work @@
+Synthesis for Structure Rewriting Systems
@@ Property / cites work: Synthesis for Structure Rewriting Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Decision Problems for XML Schemas and Chain Regular Expressions
+Normal rank
@@ Property / cites work @@
+Active context-free games
@@ Property / cites work: Active context-free games / rank @@
+Normal rank
@@ Property / cites work @@
+Game logic -- an overview
@@ Property / cites work: Game logic -- an overview / rank @@
+Normal rank
@@ Property / cites work @@
+Games for Active XML Revisited.
@@ Property / cites work: Games for Active XML Revisited. / rank @@
+Normal rank
@@ Property / cites work @@
+Logic games are complete for game logics
@@ Property / cites work: Logic games are complete for game logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808744
@@ Property / cites work: Q4808744 / rank @@
+Normal rank