LIBROS DEL AUTOR: friedrich neurauter

1 resultados para LIBROS DEL AUTOR: friedrich neurauter

friedrich neurauter Eliminar filtro Quitar filtros
  • Preserving Regularity via Logic Programs
    Friedrich Neurauter
    This book is concerned with the presentation of a general translation of term rewrite systems to logic programs such that basic rewriting derivations become logic deductions. In particular, this work is a review of a recent research paper on this very subject written by S. Limet and G. Salzer in which they present an algorithm that imple­ments such a translation scheme for cert...
    Disponible

    60,12 €