LIBROS DEL AUTOR: robert nieuwenhuis

3 resultados para LIBROS DEL AUTOR: robert nieuwenhuis

robert nieuwenhuis Eliminar filtro Quitar filtros
  • Rewriting Techniques and Applications
    Robert Nieuwenhuis
    Invited Talk.- Symbolic Systems Biology.- Confluence as a Cut Elimination Property.- Associative-Commutative Rewriting on Large Terms.- A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms.- Efficient Reductions with Director Strings.- Rewriting Logic and Probabilities.- The Maude 2.0 System.- Diagrams for Meaning Preservation.- Expression Reduction Sys...
    Disponible

    46,70 €

  • Automated Deduction - CADE-20
    Robert Nieuwenhuis
    This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22-27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri?cation(CFV’05), the Workshop on Empirically Successful Classical Automated Reasoning (ES- CAR), the Workshop on Non-Theorems, Non-Validity, Non-Provability (...
    Disponible

    65,41 €

  • Rewriting Techniques and Applications
    Robert Nieuwenhuis
    The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are ad...
    Disponible

    65,14 €