Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence (Q3183536): Difference between revisions

@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+An analog of the minimax theorem for vector payoffs
+Normal rank
@@ Property / cites work @@
+Topological sorting of large networks
@@ Property / cites work: Topological sorting of large networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+On Pareto equilibria in vector-valued extensive form games
+Normal rank
@@ Property / cites work @@
+Q5817864
@@ Property / cites work: Q5817864 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological ordering of a list of randomly-numbered elements of a network
+Normal rank
@@ Property / cites work @@
+Q3576001
@@ Property / cites work: Q3576001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive approach to sequential Nash equilibria
+Normal rank