Sciweavers

500 search results - page 3 / 100

» ACD Term Rewriting

10

IANDC
2000

64views more IANDC 2000»

Bisimilarity in Term Graph Rewriting

13 years 7 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 »

13

IPL
2010

57views more IPL 2010»

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

13 years 5 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 »

14

CORR
2009
Springer

69views Education» more CORR 2009»

Extending Context-Sensitivity in Term Rewriting

13 years 5 months ago

Extending Context-Sensitivity in Term Rewriting

Download www.logic.at

Bernhard Gramlich, Felix Schernhammer

claim paper

Read More »

20

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

13 years 5 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 »

14

TOPLAS
2011

89views more TOPLAS 2011»

Automated termination proofs for haskell by term rewriting

13 years 2 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 »