Sciweavers

500 search results - page 3 / 100

» ACD Term Rewriting

6

IANDC
2000

64views more IANDC 2000»

Bisimilarity in Term Graph Rewriting

13 years 4 months ago

Bisimilarity in Term Graph Rewriting

Download www-users.cs.york.ac.uk

Zena M. Ariola, Jan Willem Klop, Detlef Plump

claim paper

Read More »

7

IPL
2010

57views more IPL 2010»

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

13 years 3 months ago

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

Download www.jaist.ac.jp

Masahiko Sakai, Mizuhito Ogawa

claim paper

Read More »

8

CORR
2009
Springer

69views Education» more CORR 2009»

Extending Context-Sensitivity in Term Rewriting

13 years 2 months ago

Extending Context-Sensitivity in Term Rewriting

Download www.logic.at

Bernhard Gramlich, Felix Schernhammer

claim paper

Read More »

14

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

13 years 2 months ago

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Download www.irisa.fr

Benoît Boyer, Thomas Genet

claim paper

Read More »

10

TOPLAS
2011

89views more TOPLAS 2011»

Automated termination proofs for haskell by term rewriting

12 years 11 months ago

Automated termination proofs for haskell by term rewriting

Download www.win.tue.nl

Jürgen Giesl, Matthias Raffelsieper, Peter Sc...

claim paper

Read More »

« Prev « First page 3 / 100 Last » Next »