Volume 50, Issue 3, March 2013

ISSN: 0168-7433 (Print) 1573-0670 (Online)

In this issue (3 articles)

  1. No Access

    OriginalPaper

    6 Years of SMT-COMP

    Clark Barrett, Morgan Deters, Leonardo de Moura… Pages 243-277
    Look Inside Get Access

  2. OriginalPaper

    Uncurrying for Termination and Complexity

    Nao Hirokawa, Aart Middeldorp, Harald Zankl Pages 279-315
    Download PDF (656KB)

  3. OriginalPaper

    Multi-Completion with Termination Tools

    Sarah Winkler, Haruhiko Sato, Aart Middeldorp… Pages 317-354
    Download PDF (1008KB)