Sciweavers

11065 search results - page 14 / 2213
» Education
Sort
View
41
Voted
CORR
2010
Springer
41views Education» more  CORR 2010»
15 years 2 months ago
Roomy: A System for Space Limited Computations
Daniel Kunkle
57
Voted
CORR
2010
Springer
104views Education» more  CORR 2010»
15 years 2 months ago
Does Treewidth Help in Modal Satisfiability?
M. Praveen
50
Voted
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 2 months ago
Controlling program extraction in Elementary Linear Logic
Marc Lasson