Frete Grátis
  • Google Plus

Advanced Topics In Term Rewriting (Cód: 6326355)

Enno Ohlebusch

SPRINGER VERLAG POD

Ooopss! Este produto está temporariamente indisponível.
Mas não se preocupe, nós avisamos quando ele chegar.

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 571,90 em até 10x de R$ 57,19 sem juros
Cartão Saraiva R$ 543,31 (-5%) em até 1x no cartão ou em até 12x de R$ 47,66 sem juros
Grátis

Cartão Saraiva

Descrição

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.

Características

Produto sob encomenda Sim
Marca SPRINGER VERLAG POD
Cód. Barras 9780387952505
Altura 23.40 cm
I.S.B.N. 9780387952505
Profundidade 2.38 cm
Referência 9780387952505
Ano da edição 2002
Idioma Inglês
Número de Páginas 436
Peso 0.45 Kg
Largura 15.60 cm
AutorEnno Ohlebusch

Avaliações

Avaliação geral: 0

Você está revisando: Advanced Topics In Term Rewriting