Sciweavers

20 search results - page 1 / 4

» rta 2005

10

RTA
2005
Springer

96views Theoretical Computer Science» more RTA 2005»

Twenty Years Later

13 years 10 months ago

Twenty Years Later

Download theology.nd.edu

Jean-Pierre Jouannaud

claim paper

Read More »

12

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

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

13 years 10 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 »

8

RTA
2005
Springer

79views Theoretical Computer Science» more RTA 2005»

Tyrolean Termination Tool

13 years 10 months ago

Tyrolean Termination Tool

Download www.jaist.ac.jp

Nao Hirokawa, Aart Middeldorp

claim paper

Read More »

12

RTA
2005
Springer

128views Theoretical Computer Science» more RTA 2005»

Abstract Modularity

13 years 10 months ago

Abstract Modularity

Download www.informatik.uni-bremen.de

Michael Abbott, Neil Ghani, Christoph Lüth

claim paper

Read More »

13

RTA
2005
Springer

93views Theoretical Computer Science» more RTA 2005»

Open. Closed. Open

13 years 10 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 »