Program equilibrium -- a program reasoning approach (Q361805): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 91A10 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 91A20 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68N17 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q60 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| 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 | |||
Revision as of 10:47, 28 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program equilibrium -- a program reasoning approach |
scientific article |
Statements
Program equilibrium -- a program reasoning approach (English)
0 references
19 August 2013
0 references
program equilibrium
0 references
non-cooperative games
0 references
repeated games
0 references
logic programming
0 references
programs as strategies
0 references
equality of programs
0 references
prisoner's dilemma
0 references
decision-tree model
0 references
coherent outcomes
0 references
