Home

César Muñoz

  1. Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming.

    Mon, 12/27/2010 - 16:01 — SomNambul
    Authors: Hélène Kirchner, César Muñoz
    Subjects: Logic in Computer Science
    Abstract

    This volume contains selected papers from the proceedings of the First
    International Workshop on Strategies in Rewriting, Proving, and Programming
    (IWS 2010), which was held on July 9, 2010, in Edinburgh, UK.

Math-arch

Syndicate content