Search Sciweavers | Sciweavers

1385 search results - page 19 / 277

» Natural Rewriting for General Term Rewriting Systems

117

click to vote

MSCS
2006

87views more MSCS 2006»

Addressed term rewriting systems: application to a typed object calculus

15 years 6 months ago

Download web.cs.wpi.edu

Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...

claim paper

Read More »

click to vote

IPL
2010

57views more IPL 2010»

Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent

15 years 4 months ago

Download www.jaist.ac.jp

Masahiko Sakai, Mizuhito Ogawa

claim paper

Read More »

121

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

15 years 3 months ago

Download www.irisa.fr

Benoît Boyer, Thomas Genet

claim paper

Read More »

142

click to vote

JLP
2010

85views more JLP 2010»

Characterizing and proving operational termination of deterministic conditional term rewriting systems

15 years 23 days ago

Download www.logic.at

Felix Schernhammer, Bernhard Gramlich

claim paper

Read More »

149

click to vote

TCS
2010

134views Theoretical Computer Science» more TCS 2010»

A compact fixpoint semantics for term rewriting systems

15 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers