Sciweavers

69 search results - page 3 / 14
» igpl 2006
Sort
View
61
Voted
IGPL
1998
65views more  IGPL 1998»
14 years 11 months ago
The Linear Logic of Multisets
Athanassios Tzouvaras
IGPL
2010
98views more  IGPL 2010»
14 years 10 months ago
Collective trust and normative agents
Clara Smith, Antonino Rotolo
IGPL
2010
82views more  IGPL 2010»
14 years 10 months ago
Multimodal and intuitionistic logics in simple type theory
Christoph Benzmüller, Lawrence C. Paulson