Search Sciweavers | Sciweavers

13306 search results - page 24 / 2662

» Theoretical Computer Science

click to vote

RTA
2001
Springer

91views Theoretical Computer Science» more RTA 2001»

Stratego: A Language for Program Transformation Based on Rewriting Strategies

15 years 7 months ago

Download www.cs.uu.nl

Eelco Visser

claim paper

Read More »

click to vote

SOFSEM
2001
Springer

73views Theoretical Computer Science» more SOFSEM 2001»

Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited

15 years 7 months ago

Download www.ttk.pte.hu

Sándor Jenei

claim paper

Read More »

click to vote

SOFSEM
2001
Springer

78views Theoretical Computer Science» more SOFSEM 2001»

Time and Space Complexity of Reversible Pebbling

15 years 7 months ago

Download kedrigern.dcs.fmph.uniba.sk

Richard Královic

claim paper

Read More »

Voted

TLCA
2001
Springer

95views Theoretical Computer Science» more TLCA 2001»

Many Happy Returns

15 years 7 months ago

Download www.dca.ca.gov

Olivier Danvy

claim paper

Read More »

click to vote

TLCA
2001
Springer

85views Theoretical Computer Science» more TLCA 2001»

Second-Order Pre-Logical Relations and Representation Independence

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers