Search Sciweavers | Sciweavers

ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1

Gregory Kucherov, Mohamed Tajine

claim paper

Read More »

20

click to vote

CTRS
1990

68views Theoretical Computer Science» more CTRS 1990»

A Maximal-Literal Unit Strategy for Horn Clauses

14 years 17 days ago

Download www.cs.tau.ac.il

A new positive-unit theorem-proving procedure for equational Horn clauses is presented. It uses a term ordering to restrict paxamodulation to potentiallymaximal sides of equations...

Nachum Dershowitz

claim paper

Read More »

27

click to vote

CTRS
1992

114views Theoretical Computer Science» more CTRS 1992»

Path Orderings for Termination of Associative-Commutative Rewriting

14 years 18 days ago

Download www.cs.tau.ac.il

We show that a simple, and easily implementable, restriction on the recursive path ordering, which we call the "binary path condition," sufficesfor establishing terminat...

Nachum Dershowitz, Subrata Mitra

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers