Search Sciweavers | Sciweavers

498 search results - page 18 / 100

» Term Rewriting

Voted

CORR
2009
Springer

69views Education» more CORR 2009»

Extending Context-Sensitivity in Term Rewriting

15 years 1 months ago

Download www.logic.at

Bernhard Gramlich, Felix Schernhammer

claim paper

Read More »

Voted

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

15 years 1 months ago

Download www.irisa.fr

Benoît Boyer, Thomas Genet

claim paper

Read More »

Voted

TOPLAS
2011

89views more TOPLAS 2011»

Automated termination proofs for haskell by term rewriting

14 years 10 months ago

Download www.win.tue.nl

Jürgen Giesl, Matthias Raffelsieper, Peter Sc...

claim paper

Read More »

119

Voted

JLP
2010

85views more JLP 2010»

Characterizing and proving operational termination of deterministic conditional term rewriting systems

14 years 10 months ago

Download www.logic.at

Felix Schernhammer, Bernhard Gramlich

claim paper

Read More »

113

click to vote

TCS
2010

134views Theoretical Computer Science» more TCS 2010»

A compact fixpoint semantics for term rewriting systems

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers