Sciweavers

500 search results - page 3 / 100

» ACD Term Rewriting

40

Voted

IANDC
2000

64views more IANDC 2000»

Bisimilarity in Term Graph Rewriting

14 years 9 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 »

50

IPL
2010

57views more IPL 2010»

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

14 years 8 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 »

52

CORR
2009
Springer

69views Education» more CORR 2009»

Extending Context-Sensitivity in Term Rewriting

14 years 7 months ago

Extending Context-Sensitivity in Term Rewriting

Download www.logic.at

Bernhard Gramlich, Felix Schernhammer

claim paper

Read More »

56

Voted

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

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

44

TOPLAS
2011

89views more TOPLAS 2011»

Automated termination proofs for haskell by term rewriting

14 years 4 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 »