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

Mihail-Octavian Staicu (Participant)

Activity: Participating in or organising an event typesParticipation in conference


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
Period3 Jul 20108 Jul 2010
Event typeOther
LocationUtrecht, Utrecht Summer School