Search Sciweavers | Sciweavers

209 search results - page 13 / 42

» Termination of Priority Rewriting

click to vote

RTA
2009
Springer

86views Theoretical Computer Science» more RTA 2009»

Proving Termination of Integer Term Rewriting

14 years 2 months ago

Download verify.rwth-aachen.de

Carsten Fuhs, Jürgen Giesl, Martin Plück...

claim paper

Read More »

click to vote

CADE
2006
Springer

127views Logical Reasoning» more CADE 2006»

Matrix Interpretations for Proving Termination of Term Rewriting

13 years 11 months ago

Download www.imn.htwk-leipzig.de

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

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

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

13 years 7 months ago

Download tocl.acm.org

Peter Schneider-Kamp, Jürgen Giesl, Alexander...

claim paper

Read More »

click to vote

JALC
2007

69views more JALC 2007»

Weighted Automata for Proving Termination of String Rewriting

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers