Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25
Sidst søgt på
    Studiebog
    Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    - 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

    Forfatter: info mangler
    Bog
    • Format
    • Bog, paperback
    • Engelsk

    Beskrivelse

    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 addressed.

    Læs hele beskrivelsen
    Detaljer
    Størrelse og vægt
    coffee cup img
    10 cm
    book img
    15,5 cm
    23,5 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    XML Logic Semantics Automata Algorithms Modeling Reduction Substitutions Type inference Automated deduction Rewriting Derivation Program calculi Unification Term rewriting
    Machine Name: SAXO083