Showing 1 - 3 results of 3 for search 'Vidal, Germán', query time: 0.02s Refine Results
  1. 1
    Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
    Published 2012
    Other Authors: “…Vidal, Germán…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
    Published 2008
    Other Authors: “…Vidal, Germán…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
    Published 2010
    Other Authors: “…Vidal, Germán…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search