Term Rewriting and All That by Franz Baader, Tobias Nipkow

Term Rewriting and All That

Franz Baader, Tobias Nipkow

316 pages first pub 1998 (editions)

challenging informative reflective medium-paced
Powered by AI (Beta)
Loading...

Description

This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material--abstract reduction systems, termination, confluence, completion, and combination problems--but also some im...

Read more

Community Reviews

Loading...

Content Warnings

Loading...