Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

30

RTA
1995
Springer

favoriteEmaildiscussreport

78views Theoretical Computer Science» more RTA 1995»

Problems in Rewriting III

14 years 2 months ago

Problems in Rewriting III

Download web.mac.com

Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Will

Real-time Traffic

RTA 1995 | Theoretical Computer Science |

claim paper

Related Content

» Modeling Pointer Redirection as Cyclic Termgraph Rewriting

» Rewriting queries on SPARQL views

» Optimal approximation of elliptic problems by linear and nonlinear mappings III Frames

» Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System...

» Natural Rewriting for General Term Rewriting Systems

» The Third Rewrite Engines Competition

» Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems

» Transition Graphs of Rewriting Systems over Unranked Trees

» Proving Termination of Rewrite Systems Using Bounds

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	1995
Where	RTA
Authors	Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop

Comments (0)