1894 search results - page 33 / 379 » A TLA Proof System |
94
Voted
MSCS
2007
15 years 2 months ago
2007
LOGCOM
2010
15 years 1 months ago
2010
109
Voted
MFCS
2010
Springer
15 years 1 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...
124
Voted
TAMC
2010
Springer
15 years 14 days ago
2010
Springer
100
Voted
IANDC
2011
14 years 9 months ago
2011