Sciweavers

11065 search results - page 14 / 2213

» Education

27

CORR
2010
Springer

56views Education» more CORR 2010»

Impossibility of independence amplification in Kolmogorov complexity theory

14 years 9 months ago

Impossibility of independence amplification in Kolmogorov complexity theory

Download triton.towson.edu

Marius Zimand

claim paper

Read More »

26

CORR
2010
Springer

49views Education» more CORR 2010»

Counting dependent and independent strings

14 years 9 months ago

Counting dependent and independent strings

Download triton.towson.edu

Marius Zimand

claim paper

Read More »

28

CORR
2010
Springer

41views Education» more CORR 2010»

Roomy: A System for Space Limited Computations

14 years 9 months ago

Roomy: A System for Space Limited Computations

Download www.ccs.neu.edu

Daniel Kunkle

claim paper

Read More »

45

CORR
2010
Springer

104views Education» more CORR 2010»

Does Treewidth Help in Modal Satisfiability?

14 years 9 months ago

Does Treewidth Help in Modal Satisfiability?

Download www.kr.tuwien.ac.at

M. Praveen

claim paper

Read More »

35

CORR
2010
Springer

106views Education» more CORR 2010»

Controlling program extraction in Elementary Linear Logic

14 years 9 months ago

Controlling program extraction in Elementary Linear Logic

Download perso.ens-lyon.fr

Marc Lasson

claim paper

Read More »

« Prev « First page 14 / 2213 Last » Next »