Search Sciweavers | Sciweavers

1000 search results - page 46 / 200

» Nominal rewriting systems

click to vote

ML
2007
ACM

93views Machine Learning» more ML 2007»

LARS: A learning algorithm for rewriting systems

15 years 5 months ago

Download www.cmi.univ-mrs.fr

Rémi Eyraud, Colin de la Higuera, Jean-Chri...

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 »

114

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 »

137

Voted

JLP
2010

85views more JLP 2010»

Characterizing and proving operational termination of deterministic conditional term rewriting systems

15 years 10 days ago

Download www.logic.at

Felix Schernhammer, Bernhard Gramlich

claim paper

Read More »

140

Voted

TCS
2010

134views Theoretical Computer Science» more TCS 2010»

A compact fixpoint semantics for term rewriting systems

15 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers