LIBROS DEL AUTOR: enno ohlebusch

1 resultados para LIBROS DEL AUTOR: enno ohlebusch

enno ohlebusch Eliminar filtro Quitar filtros
  • Advanced Topics in Term Rewriting
    Enno Ohlebusch
    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. T...
    Disponible

    65,61 €