Q3384876 (Q3384876): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On limit cycles of monotone functions with symmetric connection graph
+Normal rank
@@ Property / cites work @@
+Admissiblity in Concurrent Games
@@ Property / cites work: Admissiblity in Concurrent Games / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Strategies in Timed Games
@@ Property / cites work: Admissible Strategies in Timed Games / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Infinite Games
@@ Property / cites work: Admissibility in Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636612
@@ Property / cites work: Q4636612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636592
@@ Property / cites work: Q4636592 / rank @@
+Normal rank
@@ Property / cites work @@
+Assume-admissible synthesis
@@ Property / cites work: Assume-admissible synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of admissibility in Omega-regular games
+Normal rank
@@ Property / cites work @@
+Deciding parity games in quasipolynomial time
@@ Property / cites work: Deciding parity games in quasipolynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Mean-payoff and Energy Games
@@ Property / cites work: Generalized Mean-payoff and Energy Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144609
@@ Property / cites work: Q5144609 / rank @@
+Normal rank
@@ Property / cites work @@
+The Descriptive Complexity of Parity Games
@@ Property / cites work: The Descriptive Complexity of Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed Point Logics
@@ Property / cites work: Fixed Point Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Manipulation of Voting Schemes: A General Result
@@ Property / cites work: Manipulation of Voting Schemes: A General Result / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
+Normal rank
@@ Property / cites work @@
+Monotone Boolean functions
@@ Property / cites work: Monotone Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+A short proof of Sperner's lemma
@@ Property / cites work: A short proof of Sperner's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic one-counter automata
@@ Property / cites work: Deterministic one-counter automata / rank @@
+Normal rank