Sciweavers

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

92

RTA
1993
Springer

76views Theoretical Computer Science» more RTA 1993»

More Problems in Rewriting

15 years 6 months ago

More Problems in Rewriting

Download www.cs.tau.ac.il

Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Will

Real-time Traffic

RTA 1993 | Theoretical Computer Science |

claim paper

Related Content

» Transition Graphs of Rewriting Systems over Unranked Trees

» Primitive Rewriting

» Using groups for investigating rewrite systems

» Finding Equivalent Rewritings in the Presence of Arithmetic Comparisons

» Equational Reasoning using AC Constraints

» Query Rewriting for Semistructured Data

» Integrating Graph Rewriting and Standard Software Tools

» On Tree Pattern Query Rewriting Using Views

» Rewriting Unions of General Conjunctive Queries Using Views

Post Info
More Details (n/a)

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

Comments (0)