Innocuous Constructor-Sharing Combinations

13 years 8 months ago

Download www.cs.tau.ac.il

Abstract. We investigate conditions under which con uence and or termination are preserved for constructor-sharing and hierarchical combinations of rewrite systems, one of which is left-linear and convergent.

Nachum Dershowitz

Real-time Traffic

Hierarchical Combinations | Rewrite Systems | RTA 1997 | Theoretical Computer Science |

claim paper

Related Content

» Detecting Word Substitutions in Text

» Saner Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1997
Where	RTA
Authors	Nachum Dershowitz

Comments (0)

Sciweavers

Innocuous Constructor-Sharing Combinations

Hierarchical Combinations | Rewrite Systems | RTA 1997 | Theoretical Computer Science |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers