Search Sciweavers | Sciweavers

10304 search results - page 267 / 2061

» Computer science with the sciences: an emphasis in computati...

137

click to vote

RTA
2007
Springer

82views Theoretical Computer Science» more RTA 2007»

Sequence Unification Through Currying

16 years 22 days ago

Download ima.udg.edu

Temur Kutsia, Jordi Levy, Mateu Villaret

claim paper

Read More »

111

click to vote

SOFSEM
2007
Springer

62views Theoretical Computer Science» more SOFSEM 2007»

Rapid Development of Web Interfaces to Heterogeneous Systems

16 years 22 days ago

Download www.sofsem.cz

José Paulo Leal, Marcos Aurélio Domi...

claim paper

Read More »

143

click to vote

SOFSEM
2007
Springer

101views Theoretical Computer Science» more SOFSEM 2007»

About the Termination Detection in the Asynchronous Message Passing Model

16 years 22 days ago

Download www.lif.univ-mrs.fr

Jérémie Chalopin, Emmanuel Godard, Y...

claim paper

Read More »

140

Voted

STACS
2007
Springer

104views Theoretical Computer Science» more STACS 2007»

Characterizing Minimal Interval Completions

16 years 22 days ago

Download www.ii.uib.no

Pinar Heggernes, Karol Suchan, Ioan Todinca, Yngve...

claim paper

Read More »

133

click to vote

TLCA
2007
Springer

89views Theoretical Computer Science» more TLCA 2007»

The Safe Lambda Calculus

16 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers