Orderings for term-rewriting systems

by Nachum Dershowitz

Cover of Orderings for term-rewriting systems

No description available.

Computer programsRecursive functions

Orderings for term-rewriting systems by Nachum Dershowitz — book · Vinony