Sciweavers

31686 search results - page 173 / 6338
» Resource typing in Guru
Sort
View
SIGECOM
2008
ACM
129views ECommerce» more  SIGECOM 2008»
13 years 9 months ago
Characterizing truthful mechanisms with convex type spaces
Aaron Archer, Robert Kleinberg
TCS
2008
13 years 9 months ago
A type assignment system for game semantics
Pietro Di Gianantonio, Furio Honsell, Marina Lenis...