info@buecher-doppler.ch
056 222 53 47
Warenkorb
Ihr Warenkorb ist leer.
Gesamt
0,00 CHF
  • Start
  • Advanced Topics in Term Rewriting

Advanced Topics in Term Rewriting

Angebote / Angebote:

Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between the properties in the hierarchies are reviewed, and it is shown that for every implication X => Y in the hierarchies, the property X is undecidable for all term rewriting systems satisfying Y. Topics covered include: the newest techniques for proving termination of rewrite systems, a comprehensive chapter on conditional term rewriting systems, a state-of-the-art survey of modularity in term rewriting, and a uniform framework for term and graph rewriting, as well as the first result on conditional graph rewriting.
Folgt in ca. 15 Arbeitstagen

Preis

69,00 CHF

Artikel, die Sie kürzlich angesehen haben