Program equilibrium -- a program reasoning approach (Q361805): Difference between revisions

@@ Property / DOI @@
-.1007/s00182-011-0314-6
@@ Property / DOI: 10.1007/s00182-011-0314-6 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A10
@@ Property / Mathematics Subject Classification ID: 91A10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A20
@@ Property / Mathematics Subject Classification ID: 91A20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N17
@@ Property / Mathematics Subject Classification ID: 68N17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6199383
@@ Property / zbMATH DE Number: 6199383 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program equilibrium
@@ Property / zbMATH Keywords: program equilibrium / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+non-cooperative games
@@ Property / zbMATH Keywords: non-cooperative games / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+repeated games
@@ Property / zbMATH Keywords: repeated games / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+logic programming
@@ Property / zbMATH Keywords: logic programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+programs as strategies
@@ Property / zbMATH Keywords: programs as strategies / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+equality of programs
@@ Property / zbMATH Keywords: equality of programs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+prisoner's dilemma
@@ Property / zbMATH Keywords: prisoner's dilemma / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decision-tree model
@@ Property / zbMATH Keywords: decision-tree model / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coherent outcomes
@@ Property / zbMATH Keywords: coherent outcomes / 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/s00182-011-0314-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2158191622
@@ Property / OpenAlex ID: W2158191622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385536
@@ Property / cites work: Q4385536 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimalism, justification and non-monotonicity in deductive databases
+Normal rank
@@ Property / cites work @@
+Q3354618
@@ Property / cites work: Q3354618 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3007261
@@ Property / cites work: Q3007261 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation in the prisoner's dilemma
@@ Property / cites work: Cooperation in the prisoner's dilemma / rank @@
+Normal rank
@@ Property / cites work @@
+A commitment folk theorem
@@ Property / cites work: A commitment folk theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Definable and Contractible Contracts
@@ Property / cites work: Definable and Contractible Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Program equilibrium
@@ Property / cites work: Program equilibrium / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00182-011-0314-6
@@ Property / DOI: 10.1007/S00182-011-0314-6 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:361805