Sciweavers

20 search results - page 1 / 4

» rta 2005

70

RTA
2005
Springer

96views Theoretical Computer Science» more RTA 2005»

Twenty Years Later

15 years 2 months ago

Twenty Years Later

Download theology.nd.edu

Jean-Pierre Jouannaud

claim paper

Read More »

68

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

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

15 years 2 months ago

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

Download homepages.inf.ed.ac.uk

Alex K. Simpson

claim paper

Read More »

56

RTA
2005
Springer

79views Theoretical Computer Science» more RTA 2005»

Tyrolean Termination Tool

15 years 2 months ago

Tyrolean Termination Tool

Download www.jaist.ac.jp

Nao Hirokawa, Aart Middeldorp

claim paper

Read More »

68

RTA
2005
Springer

128views Theoretical Computer Science» more RTA 2005»

Abstract Modularity

15 years 2 months ago

Abstract Modularity

Download www.informatik.uni-bremen.de

Michael Abbott, Neil Ghani, Christoph Lüth

claim paper

Read More »

71

Voted

RTA
2005
Springer

93views Theoretical Computer Science» more RTA 2005»

Open. Closed. Open

15 years 2 months ago

Open. Closed. Open

Download www.cs.tau.ac.il

Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...

Nachum Dershowitz

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »