Skip to content

Orderings for term-rewriting systems

by Nachum Dershowitz

Cover of Orderings for term-rewriting systems

No description available.

Computer programsRecursive functions