'Term Rewriting and All That' - Franz Baader, Tobias Nipkow og Baader Franz - Bog

Brand: Franz Baader, Tobias Nipkow og Baader Franz

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

Reklamelink — vi modtager en kommission fra produkter købt igennem siden. Det påvirker ikke prisen for dig. Der tages forbehold for udsolgte varer, tastefejl og prisændringer.