5th International School on Rewriting (Part of Summerschool Utrecht 2010)

  • Mihail-Octavian Staicu (Participant)

Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

Description

Term rewriting is a powerful model of computation underlying much of declarative programming and which is heavily used in symbolic computation in logic and computer science. Applications cand be found in theorem proving and protocol verification, but also
Période3 juil. 2010 → 8 juil. 2010
Type d'événementautre
LieuUtrecht, Utrecht Summer SchoolAfficher sur la carte

Documents et liens

Contenu connexe