Volume 50, Issue 2, March 2013

ISSN: 0001-5903 (Print) 1432-0525 (Online)

In this issue (2 articles)

  1. No Access

    Original Article

    Compositional type checking of delta-oriented software product lines

    Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer Pages 77-122
    Look Inside Get Access

  2. No Access

    Original Article

    Infinitary rewriting: closure operators, equivalences and models

    Stefan Kahrs Pages 123-156
    Look Inside Get Access