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

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

14 years 7 months ago

Download www.irisa.fr

Benoît Boyer, Thomas Genet

claim paper

Read More »

click to vote

TOPLAS
2011

89views more TOPLAS 2011»

Automated termination proofs for haskell by term rewriting

14 years 4 months ago

Download www.win.tue.nl

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

claim paper

Read More »

click to vote

JLP
2010

85views more JLP 2010»

Characterizing and proving operational termination of deterministic conditional term rewriting systems

14 years 4 months ago

Download www.logic.at

Felix Schernhammer, Bernhard Gramlich

claim paper

Read More »

click to vote

TCS
2010

134views Theoretical Computer Science» more TCS 2010»

A compact fixpoint semantics for term rewriting systems

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers