Sciweavers

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