Search Sciweavers | Sciweavers

10304 search results - page 237 / 2061

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

Voted

RTA
1995
Springer

81views Theoretical Computer Science» more RTA 1995»

Explicit Substitutions with de Bruijn's Levels

15 years 5 months ago

Download perso.ens-lyon.fr

Pierre Lescanne, Jocelyne Rouyer-Degli

claim paper

Read More »

Voted

RTA
1995
Springer

65views Theoretical Computer Science» more RTA 1995»

Rewrite Systems for Integer Arithmetic

15 years 5 months ago

Download igitur-archive.library.uu.nl

H. R. Walters, Hans Zantema

claim paper

Read More »

100

Voted

STACS
1995
Springer

85views Theoretical Computer Science» more STACS 1995»

On Codings of Traces

15 years 5 months ago

Download www2-fs.informatik.uni-tuebingen.de

Volker Diekert, Anca Muscholl, Klaus Reinhardt

claim paper

Read More »

click to vote

WG
1987
Springer

64views Theoretical Computer Science» more WG 1987»

Maintenance of Transitive Closures and Transitive Reductions of Graphs

15 years 5 months ago

Download www.csd.uoc.gr

Johannes A. La Poutré, Jan van Leeuwen

claim paper

Read More »

click to vote

ACMSE
2008
ACM

105views Theoretical Computer Science» more ACMSE 2008»

Race condition in Ajax-based web application

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers