1894 search results - page 33 / 379 » A TLA Proof System |
80
Voted
MSCS
2007
15 years 5 days ago
2007
LOGCOM
2010
14 years 11 months ago
2010
96
Voted
MFCS
2010
Springer
14 years 11 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
109
Voted
TAMC
2010
Springer
14 years 10 months ago
2010
Springer
IANDC
2011
14 years 7 months ago
2011