Search Sciweavers | Sciweavers

16626 search results - page 134 / 3326

» Computing is a natural science

117

Voted

RTA
2005
Springer

79views Theoretical Computer Science» more RTA 2005»

Tyrolean Termination Tool

16 years 13 days ago

Download www.jaist.ac.jp

Nao Hirokawa, Aart Middeldorp

claim paper

Read More »

147

click to vote

RTA
2005
Springer

96views Theoretical Computer Science» more RTA 2005»

Twenty Years Later

16 years 13 days ago

Download theology.nd.edu

Jean-Pierre Jouannaud

claim paper

Read More »

158

Voted

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

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

16 years 13 days ago

Download homepages.inf.ed.ac.uk

Alex K. Simpson

claim paper

Read More »

123

click to vote

SOFSEM
2005
Springer

85views Theoretical Computer Science» more SOFSEM 2005»

Two-Layer Planarization: Improving on Parameterized Algorithmics

16 years 13 days ago

Download jgaa.info

Henning Fernau

claim paper

Read More »

128

click to vote

SOFSEM
2005
Springer

79views Theoretical Computer Science» more SOFSEM 2005»

Topology Generation for Web Communities Modeling

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers