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

@@ Property / describes a project that uses @@
+CoLoR
@@ Property / describes a project that uses: CoLoR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ 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.1007/978-3-642-03359-9_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1530060568
@@ Property / OpenAlex ID: W1530060568 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3183536