1894 search results - page 33 / 379 » A TLA Proof System |
98
Voted
MSCS
2007
15 years 3 months ago
2007
LOGCOM
2010
15 years 1 months ago
2010
116
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...
131
Voted
TAMC
2010
Springer
15 years 1 months ago
2010
Springer
106
Voted
IANDC
2011
14 years 10 months ago
2011