Search Sciweavers | Sciweavers

209 search results - page 13 / 42

» Termination of Priority Rewriting

112

click to vote

RTA
2009
Springer

86views Theoretical Computer Science» more RTA 2009»

Proving Termination of Integer Term Rewriting

15 years 11 months ago

Download verify.rwth-aachen.de

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

claim paper

Read More »

120

click to vote

CADE
2006
Springer

127views Logical Reasoning» more CADE 2006»

Matrix Interpretations for Proving Termination of Term Rewriting

15 years 8 months ago

Download www.imn.htwk-leipzig.de

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

claim paper

Read More »

109

click to vote

RTA
2000
Springer

98views Theoretical Computer Science» more RTA 2000»

Termination and Confluence of Higher-Order Rewrite Systems

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

15 years 4 months ago

Download tocl.acm.org

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

claim paper

Read More »

110

click to vote

JALC
2007

69views more JALC 2007»

Weighted Automata for Proving Termination of String Rewriting

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers