LIBROS DEL AUTOR: alexander leitsch

3 resultados para LIBROS DEL AUTOR: alexander leitsch

alexander leitsch Eliminar filtro Quitar filtros
  • Methods of Cut-Elimination
    Alexander Leitsch / Matthias Baaz
    This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods fr...
    Disponible

    133,89 €

  • The Resolution Calculus
    Alexander Leitsch
    The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. The challenge of this course (a total of five two-hour lectures) con­ sisted in the selection of the topics to be presented. Clearly the first selection has already bee...
    Disponible

    66,16 €

  • Automated Model Building
    Alexander Leitsch / Nicolas Peltier / Ricardo Caferra
    On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last ?eld which brought the authors of this book together. In 1994 they met at t...
    Disponible

    207,38 €