Search Sciweavers | Sciweavers

1458 search results - page 12 / 292

» Extended Term Rewriting Systems

click to vote

MSCS
2006

87views more MSCS 2006»

Addressed term rewriting systems: application to a typed object calculus

15 years 3 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 1 months ago

Download www.jaist.ac.jp

Masahiko Sakai, Mizuhito Ogawa

claim paper

Read More »

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

15 years 1 months ago

Download www.irisa.fr

Benoît Boyer, Thomas Genet

claim paper

Read More »

119

Voted

JLP
2010

85views more JLP 2010»

Characterizing and proving operational termination of deterministic conditional term rewriting systems

14 years 10 months ago

Download www.logic.at

Felix Schernhammer, Bernhard Gramlich

claim paper

Read More »

113

click to vote

TCS
2010

134views Theoretical Computer Science» more TCS 2010»

A compact fixpoint semantics for term rewriting systems

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers