Sciweavers

2143 search results - page 8 / 429
» corr 2010
Sort
View
36
Voted
CORR
2010
Springer
41views Education» more  CORR 2010»
15 years 17 days ago
Roomy: A System for Space Limited Computations
Daniel Kunkle
52
Voted
CORR
2010
Springer
104views Education» more  CORR 2010»
15 years 17 days ago
Does Treewidth Help in Modal Satisfiability?
M. Praveen
44
Voted
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 17 days ago
Controlling program extraction in Elementary Linear Logic
Marc Lasson
33
Voted
CORR
2010
Springer
41views Education» more  CORR 2010»
15 years 17 days ago
Functional Answer Set Programming
Pedro Cabalar