Sciweavers

24132 search results - page 230 / 4827
» and 2009
Sort
View
161
Voted
ICLA
2009
Springer
16 years 1 months ago
An Analytic Logic of Aggregation
Patrick Girard, Jeremy Seligman
151
Voted
ICLA
2009
Springer
16 years 1 months ago
A Unified Framework for Certificate and Compilation for QBF
Igor Stéphan, Benoit Da Mota