Term Rewriting and All That

Franz Baader, Tobias Nipkow og Baader Franz

Bog | Engelsk

Beskrivelse

This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closel…