LIBROS DEL AUTOR: alberto pettorossi

5 resultados para LIBROS DEL AUTOR: alberto pettorossi

alberto pettorossi Eliminar filtro Quitar filtros
  • Techniques for Searching, Parsing, and Matching
    Alberto Pettorossi
    In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. He also illustrates some tree and graph exploration and manipulation methods by presenting, among ...
    Disponible

    97,66 €

  • Automata Theory and Formal Languages
    Alberto Pettorossi
    Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. In particular, it is at the basis of the theory of parsing, which plays an importa...
    Disponible

    49,60 €

  • Techniques for Searching, Parsing, and Matching
    Alberto Pettorossi
    In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. He also illustrates some tree and graph exploration and manipulation methods by presenting, among ...
    Disponible

    49,70 €

  • Logic Based Program Synthesis and Transformation
    Alberto Pettorossi
    This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision...
    Disponible

    77,70 €

  • Meta-Programming in Logic
    Alberto Pettorossi
    This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transf...
    Disponible

    65,88 €