LIBROS DEL AUTOR: elmar eder

1 resultados para LIBROS DEL AUTOR: elmar eder

elmar eder Eliminar filtro Quitar filtros
  • Relative Complexities of First Order Calculi
    Elmar Eder
    In this paper, a comparison is made of several proof calculi in terms of the lengths of shortest proofs for some given formula of first order predicate logic with function symbols. In particular, we address the question whether, given two calculi, any derivation in one of them can be simulated in the other in polynomial time. The analogous question fo...
    Disponible

    85,24 €