Sciweavers

13 search results - page 2 / 3
» icla 2009
Sort
View
ICLA
2009
Springer
15 years 10 months ago
Some Second Order Set Theory
Joel David Hamkins
ICLA
2009
Springer
15 years 10 months ago
Game Quantification Patterns
Dietmar Berwanger, Sophie Pinchinat
112
Voted
ICLA
2009
Springer
15 years 10 months ago
An Analytic Logic of Aggregation
Patrick Girard, Jeremy Seligman
103
Voted
ICLA
2009
Springer
15 years 10 months ago
A Unified Framework for Certificate and Compilation for QBF
Igor Stéphan, Benoit Da Mota