Search Sciweavers | Sciweavers

11345 search results - page 165 / 2269

» Foundations of Computer Science

112

click to vote

GI
2005
Springer

98views Theoretical Computer Science» more GI 2005»

Learning from Project History to Support Programmers

15 years 8 months ago

Download pages.cpsc.ucalgary.ca

Thomas Zimmermann

claim paper

Read More »

Voted

RTA
2005
Springer

79views Theoretical Computer Science» more RTA 2005»

Tyrolean Termination Tool

15 years 8 months ago

Download www.jaist.ac.jp

Nao Hirokawa, Aart Middeldorp

claim paper

Read More »

106

Voted

RTA
2005
Springer

96views Theoretical Computer Science» more RTA 2005»

Twenty Years Later

15 years 8 months ago

Download theology.nd.edu

Jean-Pierre Jouannaud

claim paper

Read More »

106

Voted

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics

15 years 8 months ago

Download homepages.inf.ed.ac.uk

Alex K. Simpson

claim paper

Read More »

Voted

SOFSEM
2005
Springer

85views Theoretical Computer Science» more SOFSEM 2005»

Two-Layer Planarization: Improving on Parameterized Algorithmics

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers