Search Sciweavers | Sciweavers

10304 search results - page 267 / 2061

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

click to vote

RTA
2007
Springer

82views Theoretical Computer Science» more RTA 2007»

Sequence Unification Through Currying

15 years 8 months ago

Download ima.udg.edu

Temur Kutsia, Jordi Levy, Mateu Villaret

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

62views Theoretical Computer Science» more SOFSEM 2007»

Rapid Development of Web Interfaces to Heterogeneous Systems

15 years 8 months ago

Download www.sofsem.cz

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

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

101views Theoretical Computer Science» more SOFSEM 2007»

About the Termination Detection in the Asynchronous Message Passing Model

15 years 8 months ago

Download www.lif.univ-mrs.fr

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

claim paper

Read More »

click to vote

STACS
2007
Springer

104views Theoretical Computer Science» more STACS 2007»

Characterizing Minimal Interval Completions

15 years 8 months ago

Download www.ii.uib.no

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

claim paper

Read More »

click to vote

TLCA
2007
Springer

89views Theoretical Computer Science» more TLCA 2007»

The Safe Lambda Calculus

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers