Sciweavers

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

106

CTRS
1990

41views Theoretical Computer Science» more CTRS 1990»

Extended Term Rewriting Systems

15 years 7 months ago

Extended Term Rewriting Systems

Download web.mac.com

Jan Willem Klop, Roel C. de Vrijer

Real-time Traffic

CTRS 1990 | CTRS 1992 |

claim paper

Related Content

» Modularity of Confluence

» Reduction Strategies for LeftLinear Term Rewriting Systems

» Birewriting a Term Rewriting Technique for Monotonic Order Relations

» Proving Termination of Rewrite Systems Using Bounds

» Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems

» Hierarchical Nominal Terms and Their Theory of Rewriting

» Natural Rewriting for General Term Rewriting Systems

» Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretation...

» The sizechange principle and dependency pairs for termination of term rewriting

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1990
Where	CTRS
Authors	Jan Willem Klop, Roel C. de Vrijer

Comments (0)