Sinossi
* Motivation * Abstract Reduction Systems * Term Rewriting Systems * Confluence * Termination * Relative Undecidability * Conditional Rewrite Systems * Modularity * Graph Rewriting * Termination of Logic Programs * Appendix-Kruskal's Theorem
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
