Search Sciweavers | Sciweavers

13306 search results - page 150 / 2662

» Theoretical Computer Science

click to vote

DLT
2009

114views Theoretical Computer Science» more DLT 2009»

Definability in the Infix Order on Words

14 years 7 months ago

Download www.emis.de

Oleg V. Kudinov, Victor L. Selivanov

claim paper

Read More »

click to vote

DAM
2011

203views Theoretical Computer Science» more DAM 2011»

On the expressive power of CNF formulas of bounded tree- and clique-width

14 years 5 months ago

Download perso.ens-lyon.fr

Irénée Briquel, Pascal Koiran, Klaus...

claim paper

Read More »

click to vote

TCS
2011

163views Theoretical Computer Science» more TCS 2011»

Aspects of predicative algebraic set theory, II: Realizability

14 years 5 months ago

Download www.phil.cmu.edu

Benno van den Berg, Ieke Moerdijk

claim paper

Read More »

click to vote

TCS
2010

104views Theoretical Computer Science» more TCS 2010»

Optimal bounds on finding fixed points of contraction mappings

14 years 4 months ago

Download www.csie.ntu.edu.tw

Ching-Lueh Chang, Yuh-Dauh Lyuu

claim paper

Read More »

click to vote

TCS
2010

135views Theoretical Computer Science» more TCS 2010»

The category-theoretic solution of recursive metric-space equations

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers