Search Sciweavers | Sciweavers

498 search results - page 16 / 100

» Term Rewriting

106

click to vote

CTRS
1990

41views Theoretical Computer Science» more CTRS 1990»

Extended Term Rewriting Systems

15 years 7 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

15 years 7 months ago

Download repository.readscheme.org

Anders Bondorf

claim paper

Read More »

111

click to vote

CADE
2006
Springer

127views Logical Reasoning» more CADE 2006»

Matrix Interpretations for Proving Termination of Term Rewriting

15 years 7 months ago

Download www.imn.htwk-leipzig.de

Jörg Endrullis, Johannes Waldmann, Hans Zante...

claim paper

Read More »

Voted

FMCAD
2008
Springer

77views Formal Methods» more FMCAD 2008»

Symbolic Program Analysis Using Term Rewriting and Generalization

15 years 4 months ago

Download www.nec-labs.com

Nishant Sinha

claim paper

Read More »

135

click to vote

DEDUCTIVE
1992

109views Database» more DEDUCTIVE 1992»

Conditional Term Rewriting as a Deductive Database Language

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers