Search Sciweavers | Sciweavers

2143 search results - page 8 / 429

» corr 2010

click to vote

CORR
2010
Springer

41views Education» more CORR 2010»

Roomy: A System for Space Limited Computations

13 years 10 months ago

Download www.ccs.neu.edu

Daniel Kunkle

claim paper

Read More »

click to vote

CORR
2010
Springer

104views Education» more CORR 2010»

Does Treewidth Help in Modal Satisfiability?

13 years 10 months ago

Download www.kr.tuwien.ac.at

M. Praveen

claim paper

Read More »

click to vote

CORR
2010
Springer

106views Education» more CORR 2010»

Controlling program extraction in Elementary Linear Logic

13 years 10 months ago

Download perso.ens-lyon.fr

Marc Lasson

claim paper

Read More »

click to vote

CORR
2010
Springer

41views Education» more CORR 2010»

Functional Answer Set Programming

13 years 10 months ago

Download www.dc.fi.udc.es

Pedro Cabalar

claim paper

Read More »

click to vote

CORR
2010
Springer

47views Education» more CORR 2010»

Observation-Driven Configuration of Complex Software Systems

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers