Skip to content
Cover of Orderings for term-rewriting systems

Orderings for term-rewriting systems

by Nachum Dershowitz

Computer programsRecursive functions
Writing a summary for young readers…

For young readers

Book data: Open Library