Search Sciweavers | Sciweavers

2143 search results - page 104 / 429

» corr 2010

click to vote

CORR
2010
Springer

57views Education» more CORR 2010»

Interactive Realizers and Monads

15 years 4 months ago

Download www.di.unito.it

bla bla bla Key words:

Stefano Berardi, Ugo de'Liguoro

claim paper

Read More »

106

click to vote

CORR
2010
Springer

130views Education» more CORR 2010»

Covered Clause Elimination

15 years 4 months ago

Download www.computational-logic.org

traction for Size-Change Termination

Marijn Heule, Matti Järvisalo, Armin Biere

claim paper

Read More »

116

click to vote

CORR
2010
Springer

58views Education» more CORR 2010»

A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems

15 years 4 months ago

Download www.comlab.ox.ac.uk

We present an algorithm for computing directly the denotation of a modal

Matthew Hague, C.-H. Luke Ong

claim paper

Read More »

click to vote

CORR
2010
Springer

62views Education» more CORR 2010»

A Derandomized Sparse Johnson-Lindenstrauss Transform

15 years 4 months ago

Download www.math.harvard.edu

Recent work of [Dasgupta-Kumar-Sarl

Daniel M. Kane, Jelani Nelson

claim paper

Read More »

click to vote

CORR
2010
Springer

66views Education» more CORR 2010»

New Common Proper-Motion Pairs From the PPMX Catalog

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers