Search Sciweavers | Sciweavers

13306 search results - page 28 / 2662

» Theoretical Computer Science

click to vote

TLCA
1999
Springer

72views Theoretical Computer Science» more TLCA 1999»

A Curry-Howard Isomorphism for Compilation and Program Execution

14 years 3 months ago

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori

claim paper

Read More »

click to vote

ITICSE
1998
ACM

101views Theoretical Computer Science» more ITICSE 1998»

Strategies for using technology in the teaching of ethics

14 years 3 months ago

Download www-cs-faculty.stanford.edu

Eric Roberts

claim paper

Read More »

click to vote

FOCS
1997
IEEE

84views Theoretical Computer Science» more FOCS 1997»

Optimal Suffix Tree Construction with Large Alphabets

14 years 3 months ago

Download www.cs.rutgers.edu

Martin Farach

claim paper

Read More »

click to vote

FOCS
1997
IEEE

75views Theoretical Computer Science» more FOCS 1997»

Reliable Cellular Automata with Self-Organization

14 years 3 months ago

Download www.cs.bu.edu

Péter Gács

claim paper

Read More »

click to vote

MFCS
1998
Springer

83views Theoretical Computer Science» more MFCS 1998»

The Joys of Bisimulation

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers