Search Sciweavers | Sciweavers

1458 search results - page 12 / 292

» Extended Term Rewriting Systems

146

Voted

MSCS
2006

87views more MSCS 2006»

Addressed term rewriting systems: application to a typed object calculus

15 years 7 months ago

Download web.cs.wpi.edu

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

claim paper

Read More »

116

click to vote

IPL
2010

57views more IPL 2010»

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

15 years 6 months ago

Download www.jaist.ac.jp

Masahiko Sakai, Mizuhito Ogawa

claim paper

Read More »

149

Voted

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

15 years 5 months ago

Download www.irisa.fr

Benoît Boyer, Thomas Genet

claim paper

Read More »

168

click to vote

JLP
2010

85views more JLP 2010»

Characterizing and proving operational termination of deterministic conditional term rewriting systems

15 years 2 months ago

Download www.logic.at

Felix Schernhammer, Bernhard Gramlich

claim paper

Read More »

179

click to vote

TCS
2010

134views Theoretical Computer Science» more TCS 2010»

A compact fixpoint semantics for term rewriting systems

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers