Search Sciweavers | Sciweavers

1000 search results - page 43 / 200

» Nominal rewriting systems

click to vote

IFIP
1999
Springer

116views Programming Languages» more IFIP 1999»

Hardware Synthesis from Term Rewriting Systems

13 years 12 months ago

Download www.ece.cmu.edu

James C. Hoe, Arvind

claim paper

Read More »

click to vote

CTRS
1990

41views Theoretical Computer Science» more CTRS 1990»

Extended Term Rewriting Systems

13 years 11 months ago

Download web.mac.com

Jan Willem Klop, Roel C. de Vrijer

claim paper

Read More »

click to vote

TAPSOFT
1989
Springer

67views Software Engineering» more TAPSOFT 1989»

A Self-Applicable Partial Evaluator for Term Rewriting Systems

13 years 11 months ago

Download repository.readscheme.org

Anders Bondorf

claim paper

Read More »

click to vote

RTA
2000
Springer

98views Theoretical Computer Science» more RTA 2000»

Termination and Confluence of Higher-Order Rewrite Systems

13 years 11 months ago

Download www-rocq.inria.fr

Frédéric Blanqui

claim paper

Read More »

click to vote

RTA
1995
Springer

65views Theoretical Computer Science» more RTA 1995»

Rewrite Systems for Integer Arithmetic

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers