Search Sciweavers | Sciweavers

13306 search results - page 116 / 2662

» Theoretical Computer Science

click to vote

STACS
2000
Springer

109views Theoretical Computer Science» more STACS 2000»

The CNN Problem and Other k-Server Variants

15 years 1 months ago

Download cgi.di.uoa.gr

Elias Koutsoupias, David Scot Taylor

claim paper

Read More »

click to vote

RTA
1995
Springer

81views Theoretical Computer Science» more RTA 1995»

Explicit Substitutions with de Bruijn's Levels

15 years 1 months ago

Download perso.ens-lyon.fr

Pierre Lescanne, Jocelyne Rouyer-Degli

claim paper

Read More »

click to vote

RTA
1995
Springer

65views Theoretical Computer Science» more RTA 1995»

Rewrite Systems for Integer Arithmetic

15 years 1 months ago

Download igitur-archive.library.uu.nl

H. R. Walters, Hans Zantema

claim paper

Read More »

click to vote

CTRS
1994

156views Theoretical Computer Science» more CTRS 1994»

Abstract Notions and Inference Systems for Proofs by Mathematical Induction

15 years 1 months ago

Download www.ags.uni-sb.de

Claus-Peter Wirth, Klaus Becker

claim paper

Read More »

click to vote

ITICSE
2010
ACM

182views Theoretical Computer Science» more ITICSE 2010»

Mental models of recursion: investigating students' understanding of recursion

14 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers