LIBROS DEL AUTOR: wayne snyder

1 resultados para LIBROS DEL AUTOR: wayne snyder

wayne snyder Eliminar filtro Quitar filtros
  • A Proof Theory for General Unification
    Wayne Snyder
    In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig­ inated by Herbrand and developed in the case of standard first-order unifi­ cation by Martelli and Montanari. The formalism presents the unification computation as a set of non-deterministic transformatio...
    Disponible

    66,78 €