LIBROS DEL AUTOR: bruno woltzenlogel paleo

1 resultados para LIBROS DEL AUTOR: bruno woltzenlogel paleo

bruno woltzenlogel paleo Eliminar filtro Quitar filtros
  • Herbrand Sequent Extraction
    Bruno Woltzenlogel Paleo
    Formal proofs of interesting mathematical theorems are usually too large and full of trivial structural information, and hence hard to understand and analyze. Techniques to extract specific essential information from these proofs are needed. This book describes four algorithms to extract a Herbrand sequent of the end-sequent of proofs written in Gentzen’s Sequent Calculus LK fo...
    Disponible

    60,31 €