Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Enno Ohlebusch
    978-1-4757-3661-8
    2002
    Edition 1
    • First book on advanced topics in term rewriting
    • Covers the newest techniques for proving termination of rewrite systems
    • Contains a comprehensive chapter on conditional term rewriting systems
    • Contains a state-of-the-art survey of modularity in term rewriting
    • Presents a uniform framework for term and graph rewriting, as well as the first result on conditional graph rewriting

    €419

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.